 (fact (type (/ 4N 2N)) => BigInt)
 (fact (type (/ 2N 4N)) => Ratio)
 
-
-;; Maybe mention java.math.BigInteger
 
 ;;;; ___________________________________________________________________________
 ;;;; ---- =-and-same-type ----

(fact (type 2.0)  => Double)

(fact (type 4/2)  => Long)

;;;; ___________________________________________________________________________
;;;; ---- `identical?` ----

      (let [unboxed-max-long Long/MAX_VALUE]
        (unchecked-inc unboxed-max-long))
      => Long/MIN_VALUE)))
