Fixed the infamous `%E` scope bug #635

Job	Run time
coq	50s
mathcomp-classical	2m 45s
mathcomp	52s
mathcomp-analysis-single	11m 55s
mathcomp-reals	1m 19s
mathcomp-experimental-reals	1m 59s
mathcomp-analysis	9m 48s
mathcomp-reals-stdlib	47s
ssprove	0s
mathcomp-analysis-stdlib	0s
	30m 15s

Provide feedback