<?php $d = 2.2250738585072011e-308; ?>