in reply to Rounding a number?

$num = int($num + .5);