i64 >= f64 and ok
