import data.rat

check 4.0
check 2.3
check 1.00
check 10.213

open rat

check -0.3
check 10.213
check 2.3
check 1.0

eval (λ v, 1.0) 2