We should have new nominal types for every C numeric type, and appropriate conversion functions. There was already a PR for the old compiler: hylo-lang/hylo#1684
We should probably develop this with some automatic code generator, e.g. https://github.com/hylo-lang/gyb-swift or pure Swift.