let lognot = lnot_big_int