Thread:BiggestThomasFan/@comment-24362609-20160722155711/@comment-1338865-20160722173017

Yes.

No. I would rather leave those two casts you named separate.