module Main where

main = prop 6.0 0.109998815
prop m x = do
    let a = x * m
    putStrLn (show a ++ " foo")
    print (x * m == a)