ok and i >= i64
