[bugfix] allow portability between 32/64bit systems

Always write 64 bits when writing a size_type.