US8793533B2 - Method and Device for Performing Failsafe Hardware-Independent Floating-Point Arithmetic