<?php
echo 1e300 / 1e-300;