<?php
$d = 2.2250738585072011e-308;

echo "Done\n";
?>