Encontrado fallo en PHP al operar con un número decimal

El fallo sucede al intentar utilizar el número 2.2250738585072011e-308, y provoca un bucle infinito en la ejecución.