let cnstrnt_mk_zero () = Sign.Zero