Function update_de 

fn update_de(
    d: &SignedBoxedInt,
    e: &SignedBoxedInt,
    m: &BoxedUint,
    mi: u64,
    t: [[i64; 2]; 2],
    shift: u32,
) -> (SignedBoxedInt, SignedBoxedInt)