import Fuzzy

main = do
    let x :: Fuzzy Teps5 Double
	x = 1
    print (x == 1.001)