Fixed the infamous `%E` scope bug #641

Job	Run time
coq	1m 4s
mathcomp-classical	2m 48s
mathcomp	48s
mathcomp-analysis-single	2m 7s
mathcomp-reals	2m 7s
mathcomp-analysis	15m 11s
mathcomp-reals-stdlib	1m 26s
mathcomp-experimental-reals	1m 53s
ssprove	21m 35s
mathcomp-analysis-stdlib	16m 12s
	1h 5m 11s

Provide feedback