Check for>. Tweak subtyping for primitive int.