package Fraction_Fixed is

   type T is delta 2.0/5.0 range -10.0 .. 10.0 with Small => 2.0/5.0;
   type T2 is delta 1.0/25.0 range -10.0 .. 10.0 with Small => 1.0/25.0;
   type Tint is delta 1.0 range -10.0 .. 10.0 with Small => 1.0;

   procedure Test_Minus (X : T) with
     Pre => X in -5.0 .. 5.0;

   procedure Test_Add (X : T) with
     Pre => X in -5.0 .. 5.0;

   procedure Test_Subtract (X : T) with
     Pre => X in -5.0 .. 5.0;

   procedure Test_Multiply (X : T) with
     Pre => X in -5.0 .. 5.0;

   procedure Test_Divide (X : T) with
     Pre => X in -5.0 .. 5.0;

   procedure Test_Compare (X : T) with
     Pre => X in -5.0 .. 5.0;

end Fraction_Fixed;
