diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -343,4 +343,4 @@
 
 Most `CReal` operations are simply lifts of the corresponding `CN MPBall` operations, which are tested in package [aern2-mp](../aern2-mp/README.md) against a fairly complete hspec/QuickCheck specification of algebraic properties.
 
-TODO: limit and select tests
+There are also tests specific to `CReal`, mostly checking that `? (bits n)` queries return sufficiently accurate approximations.  There is are tests for `select` and `limit`.
diff --git a/aern2-real.cabal b/aern2-real.cabal
--- a/aern2-real.cabal
+++ b/aern2-real.cabal
@@ -4,10 +4,10 @@
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: 3151e2ca5ff87f336ef6dcee52880846eb078521c97ccaadf6e06c9754fe11ed
+-- hash: 9e106106d0bd593449a861fdba5c8ce5eb3de6bab0d62934c6a6bbb41d51783a
 
 name:           aern2-real
-version:        0.2.4.2
+version:        0.2.4.3
 synopsis:       Real numbers as sequences of MPBalls
 description:    Please see the README on GitHub at <https://github.com/michalkonecny/aern2/#readme>
 category:       Math