Update cast.hpp