Also use number_format_i18n() for oembed_wpdotorg_theme().