On Sun Nov 27 04:47:26 2022 +0000, Zebediah Figura wrote:
This seems redundant, shouldn't this just be a single div?
Mathematically yes, but the native compiler does a `1/(·)` first, and then uses a `mul_sat`. So it made sense to me to leave it as DIV + MUL + SAT, just in case we ever want to merge the MUL and the SAT.