Ticket #10555: functions.php.diff

142,145c142
<       
<       // if the number is not floating point number set the number of decimals to zero
<       if (!is_float($number)) $decimals = 0;  
<       
---
>