En este servidor el menor decimal posible es " . PHP_FLOAT_MIN . ".

\n"; ?>