diff --git a/rethinkdb-client-driver.cabal b/rethinkdb-client-driver.cabal
--- a/rethinkdb-client-driver.cabal
+++ b/rethinkdb-client-driver.cabal
@@ -1,5 +1,5 @@
 name:                   rethinkdb-client-driver
-version:                0.0.24
+version:                0.0.25
 license:                MIT
 license-file:           LICENSE
 author:                 Tomas Carnecky
diff --git a/src/Database/RethinkDB/Types.hs b/src/Database/RethinkDB/Types.hs
--- a/src/Database/RethinkDB/Types.hs
+++ b/src/Database/RethinkDB/Types.hs
@@ -393,6 +393,10 @@
     Coerce         :: Exp a -> Exp Text -> Exp b
     Eq             :: (IsDatum a, IsDatum b) => Exp a -> Exp b -> Exp Bool
     Ne             :: (IsDatum a, IsDatum b) => Exp a -> Exp b -> Exp Bool
+    Lt             :: (IsDatum a, IsDatum b) => Exp a -> Exp b -> Exp Bool
+    Le             :: (IsDatum a, IsDatum b) => Exp a -> Exp b -> Exp Bool
+    Gt             :: (IsDatum a, IsDatum b) => Exp a -> Exp b -> Exp Bool
+    Ge             :: (IsDatum a, IsDatum b) => Exp a -> Exp b -> Exp Bool
     Not            :: Exp Bool -> Exp Bool
 
     Match :: Exp Text -> Exp Text -> Exp Datum
@@ -628,6 +632,18 @@
 
     toTerm (Ne a b) =
         simpleTerm 18 [SomeExp a, SomeExp b]
+
+    toTerm (Lt a b) =
+        simpleTerm 19 [SomeExp a, SomeExp b]
+
+    toTerm (Le a b) =
+        simpleTerm 20 [SomeExp a, SomeExp b]
+
+    toTerm (Gt a b) =
+        simpleTerm 21 [SomeExp a, SomeExp b]
+
+    toTerm (Ge a b) =
+        simpleTerm 22 [SomeExp a, SomeExp b]
 
     toTerm (Not e) =
         simpleTerm 23 [SomeExp e]
diff --git a/test/Test.hs b/test/Test.hs
--- a/test/Test.hs
+++ b/test/Test.hs
@@ -116,6 +116,18 @@
         it "Ne" $ property $ \(a :: Datum, b :: Datum) -> monadic $ do
             expectSuccess h (Ne (lift a) (lift b)) (a /= b)
 
+        it "Lt" $ property $ \(a :: Double, b :: Double) -> monadic $ do
+            expectSuccess h (Lt (lift a) (lift b)) (a < b)
+
+        it "Le" $ property $ \(a :: Double, b :: Double) -> monadic $ do
+            expectSuccess h (Le (lift a) (lift b)) (a <= b)
+
+        it "Gt" $ property $ \(a :: Double, b :: Double) -> monadic $ do
+            expectSuccess h (Gt (lift a) (lift b)) (a > b)
+
+        it "Ge" $ property $ \(a :: Double, b :: Double) -> monadic $ do
+            expectSuccess h (Ge (lift a) (lift b)) (a >= b)
+
         it "Match" $ property $ \() -> monadic $ do
             expectSuccess h (Match "foobar" "^f(.)$") Null