PHP_ROUND_HALF_DOWN is only on PHP 5.3+