Exploring Approximations for Floating-Point Arithmetic using UppSAT | Aleksandar Zeljić et al. | ResearchPod