Fixed the infamous `%E` scope bug #656

Job	Run time
rocq-core	46s
coq	45s
mathcomp-classical	2m 39s
mathcomp-analysis-single	5m 45s
mathcomp-reals	3m 42s
mathcomp-experimental-reals	47s
mathcomp-reals-stdlib	47s
mathcomp-analysis	5m 2s
mathcomp-analysis-stdlib	0s
mathcomp-infotheo	-1s
	20m 12s

Provide feedback