Implementing FMA and finding bugs in C and Rust standard libraries | TickerVault