K 10 svn:author V 3 phk K 8 svn:date V 27 2019-10-18T07:55:01.484262Z K 7 svn:log V 238 Improve the way we calculate variance to reduce the rounding errors when variance is small relative to data points. Now [0, 1, 2] shows same standard deviation as [10000000000000, ...1, ...2] Also: Various nitpickery from my own tree. END