Das ist allerdings nicht mehr dasselbe, denn für Gleitkommaarithmethik gelten bekanntlich nicht in allen Fällen die üblichen algebraischen Identitäten ;-)