max(f64) > f64
