Added o.positiveIntType due to this type being a common case.