$x = 1.9e411; var_dump($x);