miri: we can use apfloat's mul_add now#142340

bors merged 2 commits into

rust-lang:masterrust-lang/rust:masterfrom

RalfJung:miri-apfloat-mul-addRalfJung/rust:miri-apfloat-mul-addCopy head branch name to clipboard