floorの呼び出し自体もFloatingPoint protocolのwitness呼び出しかな？