运行 ❯
获取
您自己的 PHP
服务器
×
更改方向
更改主题，深色/浅色
前往 Spaces
<!DOCTYPE html> <html> <body> <?php $a = "1234.56789"; echo doubleval($a) . "<br>"; $b = "1234.56789Hello"; echo doubleval($b) . "<br>"; $c = "Hello1234.56789"; echo doubleval($c) . "<br>"; ?> </body> </html>
1234.56789
1234.56789
0
