Avoid undefined 'isdigit()' behaviour