Added some more stuff on casts