Extended Pascal offers this functionality via an extended succ function.
拡張Pascalは拡張されたSucc関数経由でこの機能性を提供する。