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