Fixnum encoding