Vamos supor que eu tenho umcord que contém "7.2769482308e + 01" (esse número veio de software de terceiros, não consigo controlar o formato).

Qual é a maneira mais barata de convertê-lo em decimal72.769482308?

A única solução que consigo pensar é dividir a parte decimal + exponencial e usar a multiplicação. Mas pode haver alguma função construída para fazer o mesmo?

NOT: Pessoal, sim, eu já liConverte exponencial para um número inteiro em PHP eConverta o número exponencial para decimal em php. E essas perguntas são irrelevantes, pois elas já têm um número, mas eu tenho umcord.