   (= 2 2N (Integer. 2) (short 2) (Short. (short 2)) (byte 2) (Byte. (byte 2)))
   => true)
 
-(fact "Rationals are usefully comparable using `=`"
+(fact "Ratios are usefully comparable using `=`"
   (= 2/3 2/3)
   => true)
 

;;; that the doc string's "type-independent manner" is wrong (according to what
;;; I think that should mean).

;;; Summary, showing the equivalence classes apart from rationals:
;;;
;;;   Key to the table entries:
;;;

;;; authoritative place?)
;;; - We have:
;;;   - integers (e.g. 2, 2N)
;;;   - ratios (e.g. 2/3)
;;;   - arbitrary-precision decimals (e.g. 2M, 2.0M)
;;;   - limited-precision decimals (e.g. 2.0, (Float. 2.0))

