divfz
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
Floating point division in current rounding towards zero.
operands: like Addf [ff:f]