Fix #1347: Document ECMAScript versions with badges

Hum, maybe we should use `Double` instead?