php solution provided number is a positive int :

round($n.'.9')