<?php 
$number1 = "10000";
$number2 = "100000.01";
echo $number1 = number_format($number1, 0, '.', ' ')."\n";
echo $number1 = number_format($number2 , 0, '.', ' ');

10 000
100 000