Merge pull request #10269 from terfendail:softdouble_round