Rounding in IEEE double precision computer arithmetic

117 Views Asked by At

Wanted to check whether I executed this arithmetic expression correctly:

$$(1 + (2^{-51} + 2^{-52} + 2^{-53})) − 1$$

My process follows: $1.[00...00]\cdot 2^{0}+0.[0...010]\cdot 2^{0}+0.[0...001]\cdot 2^{0}+0.[00...00]1\cdot 2^{0}-1.[00...00]\cdot 2^{0} \rightarrow$ $0.[000...011]1\cdot 2^{0}= 0.[000...100]\cdot 2^{0}=2^{-50}=4\epsilon_{mach}$

Much help in verifying my process