fix itv_closed_ends #4931

Job	Run time
rocq-core	1m 3s
rocq-elpi	1m 6s
stdlib	1m 7s
coq	58s
coq-elpi	1m 0s
mathcomp-bigenough	1m 7s
mathcomp-finmap	1m 3s
hierarchy-builder	1m 3s
mathcomp	1m 3s
mathcomp-analysis-single	17m 36s
mathcomp-classical	1m 8s
mathcomp-reals	1m 4s
mathcomp-experimental-reals	2m 12s
mathcomp-reals-stdlib	1m 12s
mathcomp-analysis	15m 33s
mathcomp-analysis-stdlib	1m 10s
	49m 25s

Provide feedback