PHP圆数,加十进制数

dot*_*tty 0 php formatting loops decimal while-loop

我正在使用一个简单的循环来回显一些数字

<?php
$inc = 0.25;
$start =  0.25;
$stop = 5.00;
?>

<?php while($start != ($stop + $inc)){ ?>
<option><?php echo $start ?></option>
<?php $start = $start + $inc; ?>
<?php } ?>
Run Code Online (Sandbox Code Playgroud)

但是5.00显示为5,4.50显示为4.5

我如何让这个脚本显示5.00,4.00,3.00,3.50

也为标题辩护,我不知道如何解释这个!

谢谢

mar*_*lek 6

用这个:

echo sprintf("%01.2f", $start)
Run Code Online (Sandbox Code Playgroud)