But (9223372036854775799 - 9 == -2^63) which is `INT_MIN` so it should not overflow, isn't it?