int64 and WORD_SIZE_IN_BITS < 64