`typeof(int)` is cached by the runtime - and it's also used extensively in this same file. I don't think we need to cache this.