6 Nov
2019
6 Nov
'19
4:48 p.m.
Sum has bug with floating points. Current definition states +0 as the identity element, while the actual identity is -0 since +0 + -0 = +0.