These definitions simply generalize the standard notions of arithmetic types and values by introducing a superset called numeric.

• 这些定义只是通过引用一个名为数字的超集，对标准中的算术类型和算术值进行了泛化。