libc_cheri: Added __floatdisf