sync uint64 types