let mk_real = { dom = Dom.Real; lo = None; hi = None }