Skip to main content

fp64_sig53_and_exp

binius_circuits::float64::utils

Function fp64_sig53_and_exp 

Source 
pub fn fp64_sig53_and_exp(b: &CircuitBuilder, p: &Fp64Parts) -> (Wire, Wire)
Expand description

Build the 53-bit integer significand and effective exponent.

For multiplication, we use 53-bit integers (including hidden bit for normals) rather than the 64-bit extended format used for addition.

  • Normals: sig53 = (1<<52) | frac, exp_eff = exp
  • Subnormals: sig53 = frac, exp_eff = 1

§Parameters

  • p: Parts from fp64_unpack

§Returns

  • (sig53, exp_eff): 53-bit significand and effective exponent