let
(
~-
) x =
if
x <> min_int
then
-x
else
raise
Overflow