ghci> sqrt 7 ^ 2
7.000000000000001