Fixing size_type in int/ext_merger for 32-bit systems.