All finite numbers meet this bound.
All finite numbers meet this bound.
If this bound is zero or Infinite, decrement
returns this bound.
If this bound is zero or Infinite, decrement
returns this bound.
Otherwise, this bound is finite and greater than zero and decrement
returns the bound that is one less than this bound.
True if and only if this is unbounded.
True if and only if this is unbounded.
True if and only if this bound is one.
True if and only if this bound is one.
True if and only if this bound is zero.
True if and only if this bound is zero.
Represents unbounded.