a simple mechanism to cast strings into integers.