Test float64 overflow