Where are you getting what you wrote? Rust doesn't (March 2024) have f16. And the other correspondences you wrote are wrong. There's a crate (several it seem

Where are you getting what you wrote? Rust doesn't (March 2024) have f16. And the other correspondences you wrote are wrong. There's a crate (several it seems) which realizes an f16 with arithmetic using u16, for example.