--- parser3/tests/023.html	2003/02/26 11:30:02	1.1.2.1
+++ parser3/tests/023.html	2003/07/24 11:25:57	1.2
@@ -1,6 +1,6 @@
 @main[]
 ^test(15.124)
-^test(15.125)
+^test(15.1250001)
 <hr>
 
 @test[f]