rational_arithmetic.ads 1017 Bytes