pub fn f16_add(a: u16, b: u16) -> u16Expand description
One correctly-rounded IEEE-754 binary16 add: widen (exact), add in f32 (exact — the sum of two f16s fits in f32’s 24-bit significand), round back RNE. Equals the native binary16 add bit-for-bit (both correctly rounded).