1--  { dg-do compile }
2--  { dg-options "-gnatws" }
3
4procedure Fixedpnt3 is
5  C_Unit : constant := 0.001;
6
7  type T_Fixed_Point is
8     delta C_Unit range (-2 ** 63) * C_Unit .. (2 ** 63 - 1) * C_Unit
9     with Size  => 64, Small => C_Unit;
10
11  type T_Short_Fixed_Point is
12     new T_Fixed_Point range (-2 ** 31) * C_Unit .. (2 ** 31 - 1) * C_Unit
13     with Size  => 32;
14begin
15   null;
16end Fixedpnt3;
17