x が32ビットだから。