Wanted: Floating-Point Add Round-off Error instruction