Added (split) and (spaced-integer-digit) helper functions