f64 > max(i64)
