let d_singleton i =
  match i.lo, i.hi with
    | Some(true, q), Some(p, true) 
        when Q.equal q p -> Some(q)
    | _ ->
        None