Misleading information in section "Rational types"

[phoe]

https://github.com/LispCookbook/cl-cookbook/blob/fd22cd81b5e9f29d1c65e51d80a568e897552dad/numbers.md#L71-L82

The type bignum is specified to be exactly (and integer (not fixnum)), which, along with the first line of this paragraph, would then mean that 1/2 is not a valid ratio because neither 1 and 2 are bignums.

I'd rather say something similar to the specification: that numerator and denominator are both integers, their GCD is 1, and numerator must be greater than 1.

I'd also mention that the conversion between ratio and integer is automatic so the programmer doesn't need to worry about overflows or underflows or imprecise computation, but also means that it's easily possible to reach bignum arithmetic and therefore get computation that is slower and consing.