Update casting.rst