php_replace で末尾のゼロを削除すると、このようなより良い機能が得られます。
価値:
$value = 123.12300;
現在の機能:
return preg_match('#[.,][0-9]+[0]+$#', $value) ? preg_replace('#[0]+$#', '', $value) : $value;
別の機能:
return preg_replace('#([.,]{0,1}\d+)[0]+$#', '\\1', $value);
前もって感謝します!