Fixed the infamous `%E` scope bug #657

Job	Run time
rocq-core	49s
coq	45s
mathcomp-classical	48s
mathcomp-analysis-single	6m 50s
mathcomp-reals	55s
mathcomp-reals-stdlib	43s
mathcomp-analysis	4m 52s
mathcomp-experimental-reals	45s
mathcomp-analysis-stdlib	0s
mathcomp-infotheo	0s
	16m 27s

Provide feedback