fixes #1471 #1282

Job	Run time
coq	46s
coq	46s
mathcomp-analysis-single	15m 39s
mathcomp-analysis-single	15m 39s
mathcomp-classical	4m 42s
mathcomp-classical	4m 42s
mathcomp	41s
mathcomp	41s
mathcomp-reals	1s
mathcomp-reals	2m 15s
mathcomp-analysis	0s
mathcomp-analysis	13m 28s
mathcomp-experimental-reals	0s
mathcomp-experimental-reals	2m 36s
mathcomp-reals-stdlib	0s
mathcomp-reals-stdlib	2m 23s
ssprove	0s
ssprove	21m 21s
mathcomp-analysis-stdlib	0s
mathcomp-analysis-stdlib	13m 0s
	1h 38m 40s

Provide feedback