Add strisdigit(), and use it instead of its pattern

Add strisdigit(), and use it instead of its pattern #3716