f64 >= i64 * i64
