Fixed the infamous `%E` scope bug #1466

Job	Run time
rocq-core	1m 5s
coq	1m 2s
mathcomp-classical	47s
mathcomp-analysis-single	10m 25s
mathcomp-reals	48s
mathcomp-reals-stdlib	1m 30s
mathcomp-analysis	8m 33s
mathcomp-experimental-reals	1m 39s
mathcomp-analysis-stdlib	-1s
ssprove	-1s
mathcomp-infotheo	0s
	25m 47s

Provide feedback