a four-digit number that identifies the specific product type

A model number is an exactly representable value of a real type. Operations of a real type are defined in terms of operations on the model numbers of the type. The properties of the model numbers and of their operations are the minimal properties preserved by all implementations of the real type.

This is the number assigned to an item by the manufacturer for identifcation purposes.