1--  { dg-do run }
2
3procedure Fixedpnt7 is
4   type F1 is delta 1.0 range -2.0**63 .. 0.0
5     with Small => 1.0;
6   type F2 is delta 4.0 range 0.0 .. 2.0**64
7     with Small => 4.0;
8   type D is delta 1.0 digits 18;
9
10   XX : constant := -2.0**63;
11   YY : constant := 2.0**64;
12
13   X : F1 := XX;
14   Y : F2 := YY;
15   U : D := D'Round(X / Y);
16begin
17   if U /= -1.0 then
18      raise Program_Error;
19   end if;
20end Fixedpnt7;