En PHP (usando funciones integradas) Me gustaría convertir / formatear un número con decimal, para que solo se muestren los decimales distintos de cero. Sin embargo, otro requisito mío es que si es un número sin un valor decimal, todavía me gustaría mostrar ese cero. Ejemplos:

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

rtrim($value, "0") casi funciona. El problema con rtrim es que deja9.000 como9.. sprintf() parecía un candidato, pero no pude conseguir que tuviera una cantidad variable de decimales. @number_format() tiene un propósito diferente, y eso fue todo lo que se me ocurrió ...

De nuevo, me gustaría señalar que no estoy buscando sus soluciones caseras para esto, estoy buscando una manera de lograr esto utilizando la funcionalidad interna de PHP. Puedo escribir una función que pueda lograr esto fácilmente, así que tenga respuestas como esa.