i64 - i * i64
