module Double3 where

main :: Fay ()
main = print ((5 * 3 / 2) :: Double)