make `Switch` constructor more precise

[hiphop-php.git] / hphp / test / slow / double-serde-corruption.php

<?hh


<<__EntryPoint>>
function main_double_serde_corruption() {
$val = -9.2233720368547758e18;
var_dump($val == unserialize(serialize($val)));
}