Fixed the infamous `%E` scope bug #1472

Job	Run time
rocq-core	46s
coq	49s
mathcomp-analysis-single	14m 12s
mathcomp-classical	2m 36s
mathcomp-reals	2m 0s
mathcomp-analysis	13m 32s
mathcomp-reals-stdlib	2m 38s
mathcomp-experimental-reals	2m 54s
mathcomp-analysis-stdlib	13m 17s
ssprove	17m 18s
mathcomp-infotheo	8m 46s
	1h 18m 48s

Provide feedback