ok and i64 <= i
