以前、サーバー側からJSONデータを取得し、その中のvalueを［as! Int］のように安直にキャストをしたら、

【Could not cast value of type ‘NSTaggedPointerString’ to ‘NSNumber’】

というエラーが生じてしまいました。

このNSTaggedPointerStringはNSStringのサブクラスの一つであり、それを数値にキャストする場合には一度Double型にする必要があるそうです。

その時に書いたコードが下記のものになります。