Added deprecation Division by zero when using power with zero as base and negative exponent RFC: https://wiki.php.net/rfc/raising_zero_to_power_of_negative_number Closes GH-13128