better behaved Rintegral_cst #4923

Job	Run time
rocq-elpi	1m 3s
rocq-core	1m 0s
stdlib	1m 0s
coq-elpi	1m 6s
coq	1m 7s
hierarchy-builder	1m 7s
mathcomp-finmap	1m 5s
mathcomp-bigenough	1m 10s
mathcomp	7m 13s
mathcomp-classical	3m 16s
mathcomp-analysis-single	21m 51s
mathcomp-reals	2m 25s
mathcomp-analysis	17m 9s
mathcomp-experimental-reals	1m 10s
mathcomp-reals-stdlib	1m 10s
mathcomp-analysis-stdlib	1m 59s
	1h 4m 51s

Provide feedback