3v4l.org

run code in 300+ PHP versions simultaneously
<?php $digit = 12433.23; echo number_format($digit,5);