8.11.2.70 IfcPositiveInteger（正整数）
8.11.2.70.1 语义定义（Semantic definition）
IfcPositiveInteger 是基于简单数据类型 Integer 的定义类型，附加了正整数的限制条件（不包含零）。
原则上，IfcInteger 的定义域是所有大于零的整数。此处用于 IfcInteger 表示的比特位数不受限制，但在实践中具体取决于实现方式。
类型：INTEGER
8.11.2.70.2 形式化命题（Formal propositions）
8.11.2.70.3 形式化表示（Formal representation）
TYPE IfcPositiveInteger = IfcInteger;
WHERE
WR1 : SELF > 0;
END_TYPE;