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