If you don't like this approach let me know, I can create a method for you wrapping the number_format function of php.
echo Num::format('1234567890', '000.000,0000');
// 123.456,7890
It looks like you're new here. If you want to get involved, click one of these buttons!