type casting in bindings