@Shirayuki: may I ask why you made it a variable? I believe it should be translated to other languages. 900 translates to ৯০০ in Bengali.
Topic on Project talk:MediaWiki is not Wikipedia/bn
800->900 is a minor change for almost all languages. No need to invalidate the existing translations (for future changes).
{{formatnum:}} translates numbers.