xsum: Exactly-rounded summation of floating point values (via fanf) — discussion

#math