Struct Float16 

pub struct Float16(/* private fields */);

IEEE 754 binary16 (half-precision) floating-point type.

This is a 16-bit floating-point format with:

• 1 sign bit
• 5 exponent bits (bias = 15)
• 10 mantissa bits (with implicit leading 1 for normalized values)

Special values:

• ±0: exponent = 0, mantissa = 0
• ±Inf: exponent = 31, mantissa = 0
• NaN: exponent = 31, mantissa ≠ 0
• Subnormals: exponent = 0, mantissa ≠ 0

Implementations

impl float16

pub const ZERO: float16

Positive zero (+0.0).

pub const NEG_ZERO: float16

Negative zero (-0.0).

pub const INFINITY: float16

Positive infinity.

pub const NEG_INFINITY: float16

Negative infinity.

pub const NAN: float16

Quiet NaN (canonical).

pub const MAX: float16

Maximum finite value (65504.0).

pub const MIN_POSITIVE: float16

Minimum positive normal value (2^-14 ≈ 6.104e-5).

pub const MIN_POSITIVE_SUBNORMAL: float16

Minimum positive subnormal value (2^-24 ≈ 5.96e-8).

pub const fn from_bits(bits: u16) -> float16

Create a float16 from raw bits.

This is a const function that performs no validation.

pub const fn to_bits(self) -> u16

Extract the raw bit representation.

pub fn from_f32(value: f32) -> float16

Convert f32 to float16 using IEEE 754 round-to-nearest, ties-to-even.

Handles:

• NaN → NaN (preserves payload bits where possible, ensures quiet NaN)
• ±Inf → ±Inf
• ±0 → ±0 (preserves sign)
• Overflow → ±Inf
• Underflow → subnormal or ±0
• Normal values → rounded to nearest representable value

pub fn to_f32(self) -> f32

Convert float16 to f32 (exact conversion).

All float16 values are exactly representable in f32.

pub fn is_nan(self) -> bool

Returns true if this value is NaN.

pub fn is_infinite(self) -> bool

Returns true if this value is positive or negative infinity.

pub fn is_finite(self) -> bool

Returns true if this value is finite (not NaN or infinity).

pub fn is_normal(self) -> bool

Returns true if this value is a normal number (not zero, subnormal, infinite, or NaN).

pub fn is_subnormal(self) -> bool

Returns true if this value is subnormal.

pub fn is_zero(self) -> bool

Returns true if this value is ±0.

pub fn is_sign_negative(self) -> bool

Returns true if the sign bit is set (negative).

pub fn is_sign_positive(self) -> bool

Returns true if the sign bit is not set (positive).

pub fn eq_value(self, other: float16) -> bool

IEEE-754 numeric equality: NaN != NaN, +0 == -0.

pub fn partial_cmp_value(self, other: float16) -> Option<Ordering>

IEEE-754 partial comparison: returns None if either value is NaN.

pub fn total_cmp(self, other: float16) -> Ordering

Total ordering comparison (including NaN).

This matches the behavior of f32::total_cmp.

pub fn add(self, rhs: float16) -> float16

Add two float16 values (via f32).

pub fn sub(self, rhs: float16) -> float16

Subtract two float16 values (via f32).

pub fn mul(self, rhs: float16) -> float16

Multiply two float16 values (via f32).

pub fn div(self, rhs: float16) -> float16

Divide two float16 values (via f32).

pub fn neg(self) -> float16

Negate this float16 value.

pub fn abs(self) -> float16

Absolute value.

Trait Implementations

impl Add for float16

type Output = float16

The resulting type after applying the + operator.

fn add(self, rhs: float16) -> float16

Performs the + operation.

impl Clone for float16

fn clone(&self) -> float16

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for float16

impl Debug for float16

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Default for float16

fn default() -> float16

Returns the “default value” for a type.

impl Display for float16

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Div for float16

type Output = float16

The resulting type after applying the / operator.

fn div(self, rhs: float16) -> float16

Performs the / operation.

impl Eq for float16

impl Hash for float16

fn hash<H>(&self, state: &mut H)

where H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Mul for float16

type Output = float16

The resulting type after applying the * operator.

fn mul(self, rhs: float16) -> float16

Performs the * operation.

impl Neg for float16

type Output = float16

The resulting type after applying the - operator.

fn neg(self) -> float16

Performs the unary - operation.

impl PartialEq for float16

fn eq(&self, other: &float16) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl PartialOrd for float16

fn partial_cmp(&self, other: &float16) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serializer for float16

type Target = float16

fn write_data( value: &float16, context: &mut WriteContext<'_>, ) -> Result<(), Error>

Write the target body only.

fn read_data(context: &mut ReadContext<'_>) -> Result<float16, Error>

Read the target body only.

fn default_value(_: &mut ReadContext<'_>) -> Result<float16, Error>

Construct a target for a null or missing local value.

fn read_arc_any( context: &mut ReadContext<'_>, ) -> Result<Arc<dyn Any + Send + Sync>, Error>

Read directly into the final owner for sync dynamic carriers.

impl Sub for float16

type Output = float16

The resulting type after applying the - operator.

fn sub(self, rhs: float16) -> float16

Performs the - operation.