Exploring Approximations for Floating-Point Arithmetic using UppSAT | Read Paper on Bytez