RealFloat package:ghc