Right, I totally forgot about floating point non associativity.