   (fact (= 2.0 2.0)                   => true)
   (fact (= (Float. 2.0) (Float. 2.0)) => true))
 
-(fact "Two numbers of the same category and 'value' are equal with ="
+(fact "Two numbers of the same category and with equivalent value are equal with ="
   (fact (= 2   2N)           => true)
   (fact (= 2M  2.0M)         => true)
   (fact (= 2.0 (Float. 2.0)) => true))

;;;; ---------------------------------------------------------------------------
;;;; ---- My playing ----

;;; Shows that "same category" is a thing, as /Clojure Programming/ says. Shows
;;; that the doc string's "type-independent manner" is bollocks (or at least
;;; open to interpretation).

;;; Summary, showing the equivalence classes apart from rationals:
;;;

;;;; ---------------------------------------------------------------------------
;;;; ---- The thing that is, in my opinion, contrary to the doc string ----

(fact "`=` returns false for comparisons of equivalent numbers of different categories"
  ;; From /Clojure Programming/ with some changes and additions
  (fact (= 2 2.0)    => false)
  (fact (= 2 2M)     => false)
