let lnot_big_int w = Big_int.minus_big_int (Big_int.succ_big_int w)