I am a little confused about rounding to nearest in floating point arithmetic. Let a, b, and c be normalized double precision floating point numbers. Is it true that a+b=b+a where + is correctly rounded to nearest floating point addition? My initial guess is yes this is always true, but I don't completely understand rounding to nearest. Could someone give an example of when a+b != b+a using floating point addition with rounding to nearest?