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

number() [2/2] halcheck::lib::number::number ( value_type value ) inline Creates a number with the given underlying value. Postcondition (const value_type &)number(x) == x