coq-interval