How do I round 4.3 to 4.5

Question

Given a value that has 1 decimal place, how do I round that decimal place up a half step?

If I have a value of, say, 4.3, how do I round that in PHP to 4.5?

Other examples would be:

3.8 >> 4.0
2.1 >> 2.5
0.9 >> 1.0

Also I should mention that I am running PHP version 5.2.17

Thanks!

Answer 1

How about something like this?

<?php
    $value=10000.1;
    echo ceil($value*2)/2 . "\n";
?>