Reapply "Merge pull request #1042 from jketema/jketema/softfloat"#1118
Open
jketema wants to merge 1 commit intogithub:nextfrom
Open
Reapply "Merge pull request #1042 from jketema/jketema/softfloat"#1118jketema wants to merge 1 commit intogithub:nextfrom
jketema wants to merge 1 commit intogithub:nextfrom
