<?php

echo 2.2250738585072012e-308, "\n";
?>