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