Hacker News new | ask | show | jobs
by custominstall 5507 days ago
php solution provided number is a positive int :

round($n.'.9')