Fixed the infamous `%E` scope bug #636

Job	Run time
coq	46s
mathcomp-classical	2m 50s
mathcomp-analysis-single	6m 7s
mathcomp	50s
mathcomp-reals	2m 8s
mathcomp-experimental-reals	4m 56s
mathcomp-reals-stdlib	4m 18s
mathcomp-analysis	8m 21s
ssprove	0s
mathcomp-analysis-stdlib	0s
	30m 16s

Provide feedback