Add a comment about the units of platformWordSize