 ;;;     -----------------------------------------------
 
 
-(fact "Two numbers created from two same-looking literals are equal with ="
+(fact "Two numbers of the same type and with equivalent value are equal with ="
   (fact (= 2 2)                       => true)
   (fact (= 2N 2N)                     => true)
   (fact (= 2/3 2/3)                   => 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)
