This section introduces the following definitions intended to integrate arithmetic types with user-defined types which behave like numbers.

• 本节介绍以下定义，目的是将算术类型与行为与数字一样的用户自定义类型相集成。