i >= i64 * i
