1. Nie
number_format, a
NumberFormatter - nie będziesz musiał każdorazowo powtarzać ustawień dla formattera, a zmiana ustawień lokalizacji aplikacji nie będzie jednym wielkim bólem dupy.

2. Wracając do tematu:
http://ideone.com/ndUYSS - coś musiałeś namieszać ponieważ nie ma prawa wyświetlić Ci się "0,250".
EDIT: Dopiero teraz zauważyłem, że pożądany wynik to "0,250", a nie że taki jest otrzymywany.
1. Zapis liczby 250 w notacji anglosaskiej jako 0,250 jest po prostu bez sensu stąd nie ma gotowych narzędzi do tego typu działań. Zresztą po co w ogóle Ci coś takiego?
2. Czy nie powinieneś przypadkiem przejść na części tysięczne liczby? Wtedy taki zapis ma już sens.
PS. 16000 to liczba. Tutaj co najwyżej można mówić o ciągu cyfr.