Nonetheless, my personal preference remains that R7-large add should nearly nothing over its smaller brother, for this reason. Essentially, what this would give you is a ‘pick two of three’ scenario, where the three are maximum runtime efficiency/support for subtyping/portability between implementations. (Implementations could still provide their own native subtyping, of course.)