inline std::string get_name_str() const { return m_name.str(); }
inline std::string get_exponent_str() const { return m_exponent.str(); }