в DECUS есть реализации FADD, FSUB, FMUL. Это можно "притянуть" в GAS (GNU Asm)/GCC. Но вот отмаппить `float` на FIS -- не просто, кмк