corrections made to fixnum class