Is casting expensive?

[anonymous_user_0df12f74]

Thank you for your efforts ! is very valuable info, should be added it into the documentation (or the wiki) for future reference!