diff --git a/ats-src/numerics-internal.dats b/ats-src/numerics-internal.dats
--- a/ats-src/numerics-internal.dats
+++ b/ats-src/numerics-internal.dats
@@ -21,7 +21,7 @@
 fun fib_gmp(n : intGte(0)) : Intinf =
   let
     var z = ptr_alloc()
-    var x: ulint = g0int2uint_int_ulint(n + 1)
+    var x = g0int2uint(n + 1)
     val () = $GMP.mpz_init(!(z.2))
     val () = $GMP.mpz_fib_uint(!(z.2), x)
   in
diff --git a/atspkg.dhall b/atspkg.dhall
--- a/atspkg.dhall
+++ b/atspkg.dhall
@@ -1,15 +1,15 @@
 let prelude = https://raw.githubusercontent.com/vmchale/atspkg/master/ats-pkg/dhall/atspkg-prelude.dhall
 
-in prelude.default //
+in prelude.default ⫽ 
   { libraries =
     [
-      prelude.lib //
+      prelude.lib ⫽ 
       { name = "storable"
       , src = [ "ats-src/combinatorics.dats", "ats-src/number-theory.dats", "ats-src/numerics.dats" ]
       , libTarget = "dist-newstyle/lib/libnumbertheory.a"
       , static = True
       }
     ]
-  , compiler = [0,3,8]
+  , compiler = [0,3,10]
   , dependencies = prelude.mapPlainDeps [ "atscntrb-hx-intinf" ]
   }
diff --git a/fast-arithmetic.cabal b/fast-arithmetic.cabal
--- a/fast-arithmetic.cabal
+++ b/fast-arithmetic.cabal
@@ -1,6 +1,6 @@
 cabal-version: 1.18
 name: fast-arithmetic
-version: 0.3.3.2
+version: 0.3.3.3
 license: BSD3
 license-file: LICENSE
 copyright: Copyright: (c) 2018 Vanessa McHale
@@ -18,14 +18,14 @@
     dist-newstyle/lib/empty
 extra-doc-files: README.md
 
+source-repository head
+    type: git
+    location: git@github.com:vmchale/hs-ats.git
+
 custom-setup
     setup-depends: base -any,
                    Cabal -any,
-                   ats-pkg >= 2.7.0.0
-
-source-repository head
-    type: git
-    location: git@github.com:vmchale/fast-arithmetic.git
+                   ats-pkg >=2.7.0.0
 
 flag development
     description:
@@ -66,7 +66,7 @@
     default-language: Haskell2010
     ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall
     build-depends:
-        base -any,
+        base ==4.10.*,
         fast-arithmetic -any,
         hspec -any,
         QuickCheck -any,
@@ -87,7 +87,7 @@
     default-language: Haskell2010
     ghc-options: -Wall
     build-depends:
-        base -any,
+        base ==4.10.*,
         fast-arithmetic -any,
         criterion -any,
         arithmoi -any,
diff --git a/src/Numeric/Combinatorics.hs b/src/Numeric/Combinatorics.hs
--- a/src/Numeric/Combinatorics.hs
+++ b/src/Numeric/Combinatorics.hs
@@ -33,7 +33,7 @@
 catalan :: Int -> Integer
 catalan = unsafePerformIO . conjugateGMP catalan_ats
 
--- | See [here](http://mathworld.wolfram.com/BinomialCoefficient.html).
+-- | \( \binom{n}{k} \)
 choose :: Int -> Int -> Integer
 choose = unsafePerformIO .* (gmpToInteger <=<) . (peek .* on choose_ats fromIntegral)
 
diff --git a/src/Numeric/Integer.hs b/src/Numeric/Integer.hs
--- a/src/Numeric/Integer.hs
+++ b/src/Numeric/Integer.hs
@@ -22,6 +22,6 @@
 fibonacci :: Int -> Integer
 fibonacci = unsafePerformIO . conjugateGMP fib_ats
 
--- | O(√n)
+-- | \( O(\sqrt(n)) \)
 isPrime :: Int -> Bool
 isPrime = asTest is_prime_ats