partitioned mux is needed which matches the output from partitioned eq/gt/lt etc.
https://git.libre-soc.org/?p=ieee754fpu.git;a=blob;f=src/ieee754/part_mux/part_mux.py;hb=HEAD