python_ref_string_isdecimal_1.py: