Support for decoding float64s