never mind, it's a uint64