promote type to uint64