Assertion: division's number | /r/HasProperty | floating point
Facets:
Source sentences:
text: Depending on the programming environment and the type of number (e.g. floating point, integer) being divided by zero, it may generate positive or negative infinity by the IEEE 754 floating point standard, generate an exception, generate an error message, cause the program to terminate, result in a special not-a-number value, or a crash.