Kernel properly handles floating point (XCC)