Word64 from int64_t on 32bit arm seems off.