round code snippets in php

round a number to the nearest ten thousandth in php