Fixed the infamous `%E` scope bug #1465

Job	Run time
rocq-core	48s
coq	44s
mathcomp-analysis-single	10m 20s
mathcomp-classical	51s
mathcomp-reals	46s
mathcomp-experimental-reals	1m 47s
mathcomp-analysis	8m 21s
mathcomp-reals-stdlib	1m 33s
mathcomp-analysis-stdlib	0s
ssprove	0s
mathcomp-infotheo	0s
	25m 10s

Provide feedback