compiler_builtins::float::div

Function c_hw

Source 
fn c_hw<F: Float>() -> <<F as Float>::Int as DInt>::H
where
    F::Int: DInt,
    u128: CastInto<<<F as Float>::Int as DInt>::H>,
Expand description

The value of C adjusted to half width.

C is (3/4 + 1/sqrt(2)) - 1 truncated to W0 fractional bits as UQ0.HW with W0 being either 16 or 32 and W0 <= HW. That is, C is the aforementioned 3/4 + 1/sqrt(2) constant (from which b/2 is subtracted to obtain x0) wrapped to [0, 1) range.