@gloriouscow how feasible would it be to formally verify different fp implementations against each other? And then resolve differences by testing against hardware? (May not be feasible for 64 bit divide…)