<?php var_dump(json_encode(10.0)); var_dump(json_decode(json_encode(10.0)) === 10.0);
You have javascript disabled. You will not be able to edit any code.