Try "=((0.1+0.2)-0.3)*1e80" -- your test can be fooled by pretty standard rounding for display.