 
 ;;;; ___________________________________________________________________________
 
-(fact (type (- 2N 1N)) => BigInt)
-
-(fact (type (/ 4N 2N)) => BigInt)
-(fact (type (/ 2N 4N)) => Ratio)
+(fact (type (- 2N 1N)) => clojure.lang.BigInt)
+
+(fact (type (/ 4N 2N)) => clojure.lang.BigInt)
+(fact (type (/ 2N 4N)) => clojure.lang.Ratio)
 
 
 ;;;; ___________________________________________________________________________

    (=-and-same-type (inc' 1) 2) => true)
  (fact "...do not demote"
    (type (dec' (inc' Long/MAX_VALUE)))
    => BigInt))

(def boxed-max-long Long/MAX_VALUE)


(ns clojure-the-language.clojure-numerics-test
  (:require [midje.sweet :refer :all]))

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