iris: Explicitly cast value to uint64_t