1--  { dg-do compile }
2
3procedure Fixedpnt4 is
4   type T is delta 2.0/5.0 range -10.0 .. 10.0 with Small => 2.0/5.0;
5   type T2 is delta 1.0/25.0 range -10.0 .. 10.0 with Small => 1.0/25.0;
6
7   X : T := 1.0;
8   Y : T2;
9begin
10   Y := X / X;
11   Y := X / (X + X);
12   Y := X / (X + X + 1.0);
13   Y := (X + X) * (X + X);
14end;
15