PHP just refuses to divide by zero:

    php > $minus_zero = -0.0;
    php > $plus_zero = +0.0;
    php > var_dump(1.0 / $minus_zero);
    PHP Warning:  Uncaught DivisionByZeroError: Division by zero in php shell code:1