3 with Rational_Arithmetic;
4 use Rational_Arithmetic;
5 procedure Test_Rational_Arithmetic is
7 B: Boolean := R = 5/1; -- RHS cannot be a Whole
8 -- ("/" has been "undefined")
9 C: Boolean := R = Rational' (5/1);
10 D: Boolean := (6/3) = R;
11 E: Boolean := (2/1 = 4/2);
15 end Test_Rational_Arithmetic;