PHP показывает только значащие (ненулевые) десятичные дроби

В PHP (с использованием встроенных функций) я хотел бы преобразовать / отформатировать число с десятичным числом, чтобы только ненулевые десятичные дроби Показать. Однако еще одно мое требование: если это число без десятичного значения, я все равно хотел бы показать этот ноль. Примеры:

9.000 -> 9.0
9.100 -> 9.1
9.120 -> 9.12
9.123 -> 9.123

rtrim ($ value, "0") почти работает. Проблема с rtrim заключается в том, что он оставляет 9.000 как 9. . sprintf () казался кандидатом, но я не мог заставить его иметь переменное количество десятичных знаков. number_format () служит другой цели, и это все, что я мог придумать ...

Опять же, я хотел бы отметить, что я не ищу ваших самодельных решений для этого, Я ищу способ добиться этого, используя внутренние функции PHP. Я могу написать функцию, которая с легкостью выполнит это сам, поэтому задавайте такие ответы.