used casting to disambiguate to_string