Fixed the infamous `%E` scope bug #1468

Job	Run time
rocq-core	50s
coq	53s
mathcomp-analysis-single	5m 55s
mathcomp-classical	2m 39s
mathcomp-reals	3m 52s
mathcomp-analysis	4m 52s
mathcomp-experimental-reals	1m 38s
mathcomp-reals-stdlib	1m 42s
ssprove	0s
mathcomp-analysis-stdlib	0s
mathcomp-infotheo	0s
	22m 21s

Provide feedback