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


;;;; ___________________________________________________________________________
;;;; ---- Numeric types ----

(fact (type 2)    => Long)
(fact (type 2N)   => BigInt)

(fact (type 2.0)  => Double)

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

;;; Some non-Clojure Java numeric types

(fact (type (byte 2)) => java.lang.Byte)
(fact (type (Byte. (byte 2))) => java.lang.Byte)
(fact (type (short 2)) => java.lang.Short)
(fact (type (Short. (short 2))) => java.lang.Short)

(fact (type (java.math.BigInteger. "2")) => java.math.BigInteger)

;;; **** What do you want to do with this?
;;; From /Clojure Programming/, p427: "double is the only representation that
;;; is inherently inexact".

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