import data.rat
open rat

check (4.0:rat)
check (2.3:rat)
check (1.00:rat)
check (10.213:rat)

check -(0.3:rat)
check (10.213:rat)
check (2.3:rat)
check (1.0:rat)

eval (λ v, (1.0:rat)) (2:nat)