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