let
i_neg i e =
let
k =
F
.e_ineg e
in
if
(
Ctypes
.signed i)
then
k
else
F
.modulo i k