Fixed the infamous `%E` scope bug #1462

Job	Run time
rocq-core	53s
coq	57s
mathcomp-classical	3m 15s
mathcomp-analysis-single	7m 44s
mathcomp-reals	2m 15s
mathcomp-experimental-reals	1m 46s
mathcomp-analysis	6m 27s
mathcomp-reals-stdlib	1m 32s
ssprove	0s
mathcomp-analysis-stdlib	0s
mathcomp-infotheo	0s
	24m 49s

Provide feedback