i64 >= i and ok
