Fixed the infamous `%E` scope bug #634

Job	Run time
coq	44s
mathcomp-classical	2m 52s
mathcomp	44s
mathcomp-analysis-single	11m 58s
mathcomp-reals	2m 39s
mathcomp-reals-stdlib	1m 12s
mathcomp-experimental-reals	55s
mathcomp-analysis	9m 57s
ssprove	0s
mathcomp-analysis-stdlib	0s
	31m 1s

Provide feedback