Symbol: __floatdisf