TypeScript Casting