php中的数字格式

Question

我想格式化如下的数字

13.20 to 13.2
13.34 to 13.34
13.00 to 13

我尝试使用str_replace（）和number_format（）的组合，但无法生成所需的结果。

如果有人有任何想法，请帮助我。

提前致谢

Answer 1

number_format应该有效：

<?php
    $number = 12.345;
    echo number_format($number, 1); # Produces number with one decimal precision.
?>

编辑：

<?php
    $number = 12.30;

    #Strips ZEROs and decimal point from the end
    echo rtrim($number, '0.'); #Result: 12.3
?>

Answer 2

尝试使用内置的圆形功能：

echo round(1.23456, 2); 

这将返回1.23。当然，您必须确定要保留小数点后的数字。

Answer 3

或者只是简单地说，这很神奇：

$number + 0

// 12.30 + 0 = 12.3 

或者您可以将您的号码转换为浮动：

echo floatval($number);

Answer 4

这取决于您使用的变量类型。字符串13.20将输出13.20，但 float 13.20将输出13.2。

你所要做的就是施展它：

echo (float) '13.20'; // Will output 13.2