uint64 and vectorization