在PHP中删除不必要的小数位数

Question

How can I cut unnecessary zeros at the end of a floating point value in PHP, like the following for example:

3.0 --> 3
12.56300 --> 12.563
etc.

Answer 1

You can just use (double) or (float) without (string)

echo (float)$input;