Fixed the infamous `%E` scope bug #653

Job	Run time
rocq-core	47s
coq	46s
mathcomp-analysis-single	11m 6s
mathcomp-classical	1m 11s
mathcomp-reals	2m 3s
mathcomp-analysis	8m 17s
mathcomp-experimental-reals	49s
mathcomp-reals-stdlib	51s
mathcomp-analysis-stdlib	0s
mathcomp-infotheo	0s
	25m 50s

Provide feedback