IntegerDivisionToRational
DRAFT
Observed

IntegerDivisionToRational
Incorrect

Dividing two integers can produce a rational number

Correct

Dividing two integers always produces an integer

Correction
Here is what's right.

The / in 1/2 is a division operator on two int values. This performs an integer division. The result is 0 (the floor of 1/2). The same applies to 9/10: it also is rounded down to 0.