Uhm, that’s kinda not how any of this works. You can have types that you can cast to anything and a type doesn’t have to be binary just because it’s to be explicitly casted either. You can also have implicit but limited typecasting.