number_format() / sprintf() ?

[philippo]

I'm trying to format a float to a number output that has at least one decimal.
If I'm doing number_format(4.76,1) it would return 4.7 - but that's not what I'm looking for.

float formated
6 --> 6.0
4.76 --> 4.76
6.2 --> 6.2

It's about browser version numbers and all I actually want to do is to add a '0' after the decimal point, if there is no decimal value.
Should I rather try it with sprintf()?

Thanks
phil

[ulixu]

    function format($number){
            return $number==floor($number) ? $number.\".0\" : $number ;
    }

[philippo]

I thought there's a way to do it with sprintf(). But, hey, your solution is great. I didn't think about that. Thanks a lot!