convert zellers congruence tests, inputs and outputs, to Fixnum