getter for Integer string_value