Printing of floating point values [Was: Double -> CDouble, realToFrac doesn't work]