Better fixnum