Soma não determinística de carros alegóricos

Deixe-me declarar o punho óbvio: eu entendo completamente que os tipos de ponto flutuante não podem representar com precisão valores decimais . Isso não é sobre isso! No entanto, os cálculos de ponto flutuante devem ser determinísticos . Agora que isso está fora do caminho, deixe-me mostrar o caso...