miri: implement most floating point math operations using soft floats#3969

eduardosm wants to merge 1 commit intorust-lang:masterrust-lang/miri:masterfrom

eduardosm:soft-matheduardosm/miri:soft-mathCopy head branch name to clipboard