added type_cast spec