python_ref_string_isdigit_1.py: