let mk_neg = { dom = Dom.Real; lo = None; hi = Some(Q.zero, false) }