PHPで小数点から末尾の0を削除する方法

例如：100.00、100.01、100.10
得到值：100、100.01、100.1

echo '100.00' + 0;
echo '100.01' + 0;
echo '100.10' + 0;

// 结果
100
100.01
100.1

echo floatval('100.00');
echo floatval('100.01');
echo floatval('100.10');

// 结果
100
100.01
100.1

echo rtrim(rtrim('100.00', '0'), '.');
echo rtrim(rtrim('100.01', '0'), '.');
echo rtrim(rtrim('100.10', '0'), '.');

// 结果
100
100.01
100.1

正则表达式说明：
/0+$/  去掉末尾多余的0
/[.]$/ 去掉末尾的.

echo preg_replace('/[.]$/', '', preg_replace('/0+$/', '', '100.00'));
echo preg_replace('/[.]$/', '', preg_replace('/0+$/', '', '100.01'));
echo preg_replace('/[.]$/', '', preg_replace('/0+$/', '', '100.10'));

// 结果
100
100.01
100.1