good catch. we don't need the cast to `uint64(...)` here now.