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