int(i64) - i32
