Average number format

You can’t change, it uses number_format_i18n() which takes on the locale of your WP.

I am not sure whether number_format_i18n has filters, you probably have to go look in the source to find out.