Supongamos que tengo unacuerd que contiene "7.2769482308e + 01" (este número proviene de un software de terceros, no puedo controlar el formato).

¿Cuál es la forma más barata de convertirlo a decimal72.769482308?

La única solución que se me ocurre es dividir la parte decimal + exponencial y usar la multiplicación. ¿Pero puede haber alguna función incorporada para hacer lo mismo?

NOT: Chicos, sí, he leídoConvertir exponencial a un número entero en PHP yConvertir número exponencial a decimal en php. Y esas preguntas son irrelevantes, ya que ya tienen un número, pero tengo uncuerd.