Fixed the infamous `%E` scope bug #654

Job	Run time
rocq-core	44s
coq	59s
mathcomp-analysis-single	10m 19s
mathcomp-classical	1m 4s
mathcomp-reals	1m 50s
mathcomp-reals-stdlib	1m 20s
mathcomp-analysis	8m 22s
mathcomp-experimental-reals	49s
mathcomp-analysis-stdlib	0s
mathcomp-infotheo	0s
	25m 27s

Provide feedback