f64 >= max(f64)
