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

operator T() [2/2] template<typename T > halcheck::lib::number::operator T ( ) const inlineexplicit Casts the underlying number to a value. Template Parameters T The type of value to cast to. Returns The underlying number reference casted to T. Postcondition (T)x == T((const value_type &)x) This overload participates in overload resolution only if std::is_integral<T>() does not hold, and std::is_constructible<T, @ref value_type>() holds.