Let's suppose I have a **string** that contains "7.2769482308e+01" (this number came from 3rd party software, I cannot control the format).

What is the cheapest way to convert it into decimal `72.769482308`

?

The only solution I can think of is to split decimal + exponential part and use multiplication. But may be there some built it function to do the same?

**NOTE**: Guys, yes, I've read Convert exponential to a whole number in PHP and Convert exponential number to decimal in php. And that questions are irrelevant, since they already have a number, but I have a **string**.

What about a simple cast to a float value ?