diff --git a/CHANGES b/CHANGES
new file mode 100644
--- /dev/null
+++ b/CHANGES
@@ -0,0 +1,2 @@
+v0.1.1	fixed for ghc-7.0.4
+v0.1	initial release
diff --git a/Numeric/VariablePrecision/Complex.hs b/Numeric/VariablePrecision/Complex.hs
--- a/Numeric/VariablePrecision/Complex.hs
+++ b/Numeric/VariablePrecision/Complex.hs
@@ -42,7 +42,7 @@
 
 -- | Alike to 'X.:+', constructs a complex number from a real part and
 --   an imaginary part.
-(.+) :: VFloat p -> VFloat p -> VComplex p
+(.+) :: NaturalNumber p => VFloat p -> VFloat p -> VComplex p
 x .+ y = C (x X.:+ y)
 infix 6 .+
 
@@ -101,5 +101,5 @@
 magnitude2 :: NaturalNumber p => VComplex p -> VFloat p
 magnitude2 = magnitude2' . toComplex
 
-magnitude2' :: Num r => X.Complex r -> r
+magnitude2' :: RealFloat r => X.Complex r -> r
 magnitude2' (x X.:+ y) = x * x + y * y
diff --git a/Numeric/VariablePrecision/Float/Aliases.hs b/Numeric/VariablePrecision/Float/Aliases.hs
--- a/Numeric/VariablePrecision/Float/Aliases.hs
+++ b/Numeric/VariablePrecision/Float/Aliases.hs
@@ -15,6 +15,8 @@
 
 Along with aliases for 'recodeFloat' with specialized types.
 
+Using this module in ghc-7.0.4 might require @-fcontext-stack=100@.
+
 -}
 module Numeric.VariablePrecision.Float.Aliases where
 
diff --git a/README b/README
new file mode 100644
--- /dev/null
+++ b/README
@@ -0,0 +1,2 @@
+Users of ghc-7.0.4 might require -fcontext-stack=100
+This flag can also be :set within ghci.
diff --git a/THANKS b/THANKS
new file mode 100644
--- /dev/null
+++ b/THANKS
@@ -0,0 +1,7 @@
+Robert P Munafo -- testing with ghc-7.0.4 resulted in fixes
+  5318e8aac2fb75a9ecf9a3b661e911f610aa1784
+    support old base with RealFloat required for Complex
+  591fac0e024a41c2c31cde909385d36376e5a715
+    support ghc-7.0.4 by increasing context stack size
+  f7c89c0503b3038dc0057e0dc029db0dd98f2b0d
+    document ghc-7.0.4 requiring increasing context stack size
diff --git a/TypeLevel/NaturalNumber/ExtraNumbers.hs b/TypeLevel/NaturalNumber/ExtraNumbers.hs
--- a/TypeLevel/NaturalNumber/ExtraNumbers.hs
+++ b/TypeLevel/NaturalNumber/ExtraNumbers.hs
@@ -13,6 +13,8 @@
 >   putStrLn $ "type N" ++ s ++ " = SuccessorTo N" ++ show (p - 1) ++
 >     " ; n" ++ s ++ " :: N" ++ s ++ " ; n" ++ s ++ " = undefined"
 
+Using this module in ghc-7.0.4 might require @-fcontext-stack=100@.
+
 -}
 module TypeLevel.NaturalNumber.ExtraNumbers where
 
diff --git a/variable-precision.cabal b/variable-precision.cabal
--- a/variable-precision.cabal
+++ b/variable-precision.cabal
@@ -1,5 +1,5 @@
 Name:                variable-precision
-Version:             0.1
+Version:             0.1.1
 Synopsis:            variable-precision floating point
 Description:
   Software floating point with type-tagged variable mantissa precision,
@@ -25,7 +25,7 @@
 
 Cabal-version:       >=1.6
 
-Extra-source-files:  TODO
+Extra-source-files:  CHANGES README THANKS TODO
 
 Library
   Exposed-modules:
@@ -39,7 +39,7 @@
     base >= 3 && < 6,
     floatshow >= 0.2 && < 0.3,
     type-level-natural-number >= 1 && < 2
-  GHC-Options:        -Wall -fno-warn-incomplete-patterns
+  GHC-Options:        -Wall -fno-warn-incomplete-patterns -fcontext-stack=100
   GHC-Prof-Options:   -prof -auto-all -caf-all
 
 source-repository head
@@ -49,4 +49,4 @@
 source-repository this
   type:     git
   location: git://gitorious.org/variable-precision/variable-precision.git
-  tag:      v0.1
+  tag:      v0.1.1