A cross-browser, numerically stable algorithm to add floats accurately in Javascript