divfn
From Mill Computing Wiki
realizing exu stream exu block compute phase operation in the binary floating point value domain that produces condition codes
native on: none
divide for quotient
operands: like Addf [ff:f]
native on: none
divide for quotient