This is a story of how I tried to compute a * b + c, and found that Rust and musl libc get it subtly wrong.