For more information on this conversion, see the Unix manual page for strtod( 3).
?php $foo = 1 + "10.5"; / / $foo est du type float (11.5) $foo = 1 + "-1.3e3"; / / $foo est du type float (-1299) $foo = 1 + "bob-1.3e3"; / / $foo est du type integer (1) $foo = 1 + "bob3"; / / $foo est du type integer (1) $foo = 1 + "10 Small Pigs"; / / $foo est du type integer (11) $foo = 1 + "10 Little Piggies"; / / $foo est du type integer (11) $foo = "10.0 pigs" + 1; / / $foo est du type integer (11) $foo = "10.0 pigs "+ 1.0; / / $foo est du type float (11)?