main = case 1 of
    1.0 -> True