Fixed the infamous `%E` scope bug #652

Job	Run time
rocq-core	1m 22s
coq	50s
mathcomp-classical	2m 49s
mathcomp-analysis-single	10m 3s
mathcomp-reals	2m 22s
mathcomp-reals-stdlib	1m 51s
mathcomp-analysis	8m 37s
mathcomp-experimental-reals	2m 30s
mathcomp-analysis-stdlib	0s
mathcomp-infotheo	-1s
	30m 23s

Provide feedback