let lnot_big_int w = minus_big_int (succ_big_int w)