algo4: miscellaneous: String to integer