Fixed the infamous `%E` scope bug #5052

Job	Run time
rocq-core	44s
rocq-elpi	48s
stdlib	44s
coq	49s
coq-elpi	53s
mathcomp-bigenough	47s
mathcomp-finmap	50s
hierarchy-builder	43s
mathcomp	49s
mathcomp-classical	2m 56s
mathcomp-analysis-single	17m 27s
mathcomp-reals	4m 21s
mathcomp-analysis	15m 11s
mathcomp-reals-stdlib	1m 28s
mathcomp-experimental-reals	1m 20s
mathcomp-analysis-stdlib	16m 56s
	1h 6m 46s

Provide feedback