How to convert from an OSString to an OSNumber ?