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;