Hum... I'd be tempted to say "its just formating", so the cost of the runtime cast are negligible...

That said, isn't there a way to statically know that an instance of "some interface" simply *can't* be cast to some other interface/class (eg: "Object")? Or is that simply not possible? Since we don't have multiple inheritance, this should work, right?