import
Rational
rationalGcdNat : Int -> Int -> Int
rationalGcd : Int -> Int -> Int
rationalNormalise : Int -> Int -> Rational