Hai ragione, number_format() fa anche un arrotondamento, anche se non e' documentato.