Floating Point Arithmetic Definition