Floating-point arithmetic - eviltoast