Use `Num.bound` #612

Job	Run time
coq	50s
mathcomp-classical	3m 2s
mathcomp-analysis-single	2m 14s
mathcomp	54s
mathcomp-reals	2m 19s
mathcomp-reals-stdlib	2m 44s
mathcomp-analysis	16m 12s
mathcomp-experimental-reals	3m 21s
mathcomp-analysis-stdlib	15m 26s
ssprove	21m 14s
mathcomp-analysis-single	16m 44s
mathcomp	54s
mathcomp-classical	3m 2s
mathcomp-reals	2m 19s
mathcomp-analysis	16m 12s
mathcomp-experimental-reals	3m 21s
mathcomp-reals-stdlib	2m 44s
ssprove	21m 14s
mathcomp-analysis-stdlib	15m 26s
coq	50s
	2h 31m 2s

Provide feedback