Item 0.2.10.e.

If a number is rational, then it is real.

in-context