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