It seems the following wp function found at https://codex.wordpress.org/Function_Reference/number_format_i18n would do the European formatting trick:
<?php number_format_i18n( $number, $decimals ); ?>
But I’m not sure where I can use it so it is not overwritten by wallet updates.