to_int also should be called with this->