Más breve y más profesional
Pero es que luego trabajo con la parte entera y la parte decimal, para posteriormente pasar los números a texto, y como mis conocimientos de PHP son limitados pues he hecho lo que he sabido. Pero sin duda la sintaxis que has usado es mucho mejor, aunque no comprendo qué significa. No sé "traducirla", vamos: $patron = "/^(\d+).?(\d*)$/";