通常この定義は実数を導くが、彼は小数dに対して、切断(−∞,d)と"principalcut"(−∞,d]の両方を許す。
通常用这种定义便可以得出实数，但对于小数d他既允许分割（−∞，d），又允许“主分割”（−∞，d]。