Make AtomicCounter a general AtomicFixnum, with a Java-specific implementation.