diff --git a/liquid-ghc-prim.cabal b/liquid-ghc-prim.cabal
--- a/liquid-ghc-prim.cabal
+++ b/liquid-ghc-prim.cabal
@@ -1,6 +1,6 @@
 cabal-version:      1.24
 name:               liquid-ghc-prim
-version:            0.6.1
+version:            0.7.0
 synopsis:           Drop-in ghc-prim replacement for LiquidHaskell
 description:        Drop-in ghc-prim replacement for LiquidHaskell.
 license:            BSD3
@@ -24,7 +24,7 @@
                     -- unfortunately. The issue is that 'GHC.Prim' is a special snowflake,
                     -- treated specially by the GHC pipeline. In particular, GHC doesn't
                     -- generate a '.hi' file for it, and this causes Windows' builds to choke.
-                    -- GHC.Prim
+                    GHC.Prim
                     GHC.CString
                     GHC.Classes
                     GHC.Debug
@@ -36,7 +36,7 @@
                     GHC.Types
 
   hs-source-dirs:     src
-  build-depends:      ghc-prim             == 0.6.1
+  build-depends:      ghc-prim             == 0.7.0
                     , liquidhaskell        >= 0.8.10.1
   default-language:   Haskell2010
   default-extensions: PackageImports
diff --git a/src/GHC/Prim.hs b/src/GHC/Prim.hs
new file mode 100644
--- /dev/null
+++ b/src/GHC/Prim.hs
@@ -0,0 +1,3 @@
+module GHC.Prim (module Exports) where
+
+import "ghc-prim" GHC.Prim as Exports
diff --git a/src/GHC/Types.hs b/src/GHC/Types.hs
--- a/src/GHC/Types.hs
+++ b/src/GHC/Types.hs
@@ -1,10 +1,10 @@
 module GHC.Types (module Exports) where
 
-{-@ embed GHC.Prim.Int#     as int @-}
-{-@ embed GHC.Prim.Addr#    as Str @-}
+import "ghc-prim" GHC.Types as Exports
+
+{-@ embed GHC.Prim.Int#     as int  @-}
+{-@ embed GHC.Prim.Addr#    as Str  @-}
 {-@ embed GHC.Prim.Char#    as Char @-}
 {-@ embed GHC.Prim.Double#  as real @-}
 {-@ embed GHC.Prim.Float#   as real @-}
 {-@ embed GHC.Prim.Word#    as int  @-}
-
-import "ghc-prim" GHC.Types as Exports
diff --git a/src/GHC/Types.spec b/src/GHC/Types.spec
--- a/src/GHC/Types.spec
+++ b/src/GHC/Types.spec
@@ -1,6 +1,6 @@
 module spec GHC.Types where
 
-// Boxed types
+//  Boxed types
 embed GHC.Types.Double  as real
 embed GHC.Types.Float   as real
 embed GHC.Types.Word    as int
@@ -9,6 +9,7 @@
 embed GHC.Types.Char    as Char
 
 embed GHC.Integer.Type.Integer as int
+embed GHC.Num.Integer as int
 
 GHC.Types.True  :: {v:GHC.Types.Bool | v     }
 GHC.Types.False :: {v:GHC.Types.Bool | (~ v) }