fpplus sticky-bit is off by one - additions misround by up to 0.75 ulp

Computer Algebra System written in Common Lisp

Brought to you by: kjak, l_butler, macrakis, robert_dodier, and 2 others

Milestone: None

Status: open

Owner: nobody

Labels: fpplus (1) bigfloat (18)

Priority: 5

Updated: 4 days ago

Created: 4 days ago

Private: No

Spotted by Claude:

(%i1) 36028797018963969.0b0 + 9007199254740992.25b0 - 45035996273704961b0;
(%o1) 1.0b0

A correctly rounding addition would yield 0.0b0.