FIX: eq? -> eqv? to compare integers