Run ❯
×
Change Orientation
Change Theme, Dark/Light
Go to Spaces
"; $b = "1234.56789Hello"; echo doubleval($b) . "
"; $c = "Hello1234.56789"; echo doubleval($c) . "
"; ?>
1234.56789
1234.56789
0