Extension:NSNum

From mediawiki.org