diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -32,7 +32,7 @@
 Starting from Cabal v3.0, you need to pass `--lib` as an argument to cabal
 install:
 
-	$ cabal install leancheck --lib
+	$ cabal install express --lib
 
 
 Basics
diff --git a/changelog.md b/changelog.md
--- a/changelog.md
+++ b/changelog.md
@@ -2,6 +2,18 @@
 =====================
 
 
+v1.0.2
+------
+
+* more Express instances:
+	- `Double` & `Float`
+	- `Int*` types from `Data.Int`
+	- `Word*` types from `Data.Word`
+	- `GeneralCategory` from `Data.Char`
+
+* minor fix in README
+
+
 v1.0.0
 ------
 
diff --git a/express.cabal b/express.cabal
--- a/express.cabal
+++ b/express.cabal
@@ -1,6 +1,6 @@
 -- Cabal file for express
 name: express
-version: 1.0.0
+version: 1.0.2
 synopsis: Dynamically-typed expressions involving function application and variables.
 description:
   Express is a library for manipulating dynamically typed Haskell expressions.
@@ -63,7 +63,7 @@
 source-repository this
   type:           git
   location:       https://github.com/rudymatela/express
-  tag:            v1.0.0
+  tag:            v1.0.2
 
 library
   exposed-modules:     Data.Express
diff --git a/src/Data/Express/Express.hs b/src/Data/Express/Express.hs
--- a/src/Data/Express/Express.hs
+++ b/src/Data/Express/Express.hs
@@ -26,7 +26,12 @@
 
 import Data.Express.Core
 import Data.Typeable
+
+-- for instances
+import Data.Int
+import Data.Word
 import Data.Ratio
+import Data.Char
 
 -- |
 -- 'Express' typeclass instances provide an 'expr' function
@@ -128,10 +133,12 @@
 
 #if __GLASGOW_HASKELL__ < 710
 -- No 8-tuples for you:
--- On GHC 7.8, 8-tuples are not Typeable instances.  We could add a standalone
--- deriving clause, but that may cause trouble if some other library does the
--- same.  User should declare Generalizable 8-tuples manually when using GHC <=
--- 7.8.
+-- On GHC 7.8, 8-tuples are not Typeable instances.
+-- We could add a standalone deriving clause,
+-- but that may cause trouble
+-- if some other library does the same (orphan instance).
+-- User should declare Express 8-tuples manually
+-- when using GHC <= 7.8.
 #else
 instance ( Express a, Express b, Express c, Express d, Express e, Express f
          , Express g, Express h )
@@ -177,6 +184,30 @@
       :$ expr v :$ expr u :$ expr t :$ expr s
       :$ expr r :$ expr q :$ expr p :$ expr o
 #endif
+
+instance Express Double   where  expr  =  val
+instance Express Float    where  expr  =  val
+instance Express Int8     where  expr  =  val
+instance Express Int16    where  expr  =  val
+instance Express Int32    where  expr  =  val
+instance Express Int64    where  expr  =  val
+instance Express Word     where  expr  =  val
+instance Express Word8    where  expr  =  val
+instance Express Word16   where  expr  =  val
+instance Express Word32   where  expr  =  val
+instance Express Word64   where  expr  =  val
+#if __GLASGOW_HASKELL__ < 710
+-- No GeneralCategory for you:
+-- On GHC 7.8, GeneralCategory is not a Typeable instance.
+-- We could add a standalone deriving clause,
+-- but that may cause trouble
+-- if some other library does the same (orphan instance).
+-- Users should declare their own Express GeneralCategory instance
+-- when using GHC <= 7.8.
+#else
+instance Express GeneralCategory  where  expr  =  val
+#endif
+
 
 -- type binding utilities --