Add integer types to pointer extension