This looks good to me. One question: have we settled on a preferred name for the proposal? the repo name is rounding-mode-control, the README.md there calls it "Rounding Instructions", and Overview.md (and this PR) call it "Rounding Variants".
Rounding Variants does make sense to me (given that we settled on variants of existing instructions as the mechanism), but it could be that renaming the repo is more trouble than it's worth (I'll leave that up to you all who actually use it the most). So maybe really the only thing to do is update README.md to agree?
This looks good to me. One question: have we settled on a preferred name for the proposal? the repo name is rounding-mode-control, the README.md there calls it "Rounding Instructions", and Overview.md (and this PR) call it "Rounding Variants". Rounding Variants does make sense to me (given that we settled on variants of existing instructions as the mechanism), but it could be that renaming the repo is more trouble than it's worth (I'll leave that up to you all who actually use it the most). So maybe really the only thing to do is update README.md to agree?