safeCast doesn't help in this situation, because the string's Ordering and int's boundedness don't help us, as String isn't numeric.