Support for type-casting