number number operator T operator T operator!= operator== value_type

number() [1/2] halcheck::lib::number::number ( ) default Creates a number with zero as its underlying value. Postcondition (const value_type &)number() == 0