Item
0.2.10.e
.
If a number is rational, then it is real.
in-context