int(-i64)
