Exploring Approximations for Floating-Point Arithmetic using UppSAT | ResearchPod