memory: use 128-bit integers for sizes and intermediates