Fix an address-sanitizer failure in the checkpoint test: record numbers are 64-bits.