Number handling with NSNumberFormatter