From: Mark Engelberg (mark.engelberg at gmail.com) Date: Tue Oct 7 19:27:47 EDT 2008 

The documentation says: "Returns an exact integer; for any two eq? values, the returned integer is the same. Furthermore, for the result integer k and any other exact integer j, (= k j) implies (eq? k j)." But it is always true that (= k j) implies (eq? k j) purely by definition of = and eq?. So this statement appears to say nothing useful. What is really meant here? Mark
Posted on the users mailing list. 
