clarify that integers are 64-bit, hash-maps are splittable, and fix some typos