Support for real/floor casting operators