https://github.com/akroviakov approved this pull request. LGTM, thanks. Alongside round trips, can we have an example that checks that the raw up-/down-converted result is properly converted? https://github.com/llvm/llvm-project/pull/203124