i64 >= f64
