to_str for number