note 24182 added to language.types.float

I'm sure there is an easier way to float a number to a desired precision, but I couldn't find one. So, here is a function that floats 1 decimal place. function float1($val) { $x = intval(10*$val)/10; if ($x == intval($x)) return "".$x.".0"; else return intval(10*$val)/10; } -- http://www.php.net/manual/en/language.types.float.php http://master.php.net/manage/user-notes.php?action=edit+24182 http://master.php.net/manage/user-notes.php?action=delete+24182 http://master.php.net/manage/user-notes.php?action=reject+24182