main = let a = 123456789 in print (fromInteger a + 0.0)