Add more f16 and f128 library functions and constants · model-checking/verify-rust-std@561daff (original) (raw)

Add more f16 and f128 library functions and constants

This adds everything that was directly or transitively blocked on const arithmetic for these types, which was recently merged. Since const arithmetic is recent, most of these need to be gated by `bootstrap`. Anything that relies on intrinsics that are still missing is excluded.

1 parent 6cb3d34 commit 561daff