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