Symbol: maybe_di_uint_to_str