No need to cast.