Skip to main content

float64_mul

binius_circuits::float64::mul

Function float64_mul 

Source 
pub fn float64_mul(builder: &CircuitBuilder, a: Wire, b: Wire) -> Wire
Expand description

IEEE-754 double (binary64) multiplication circuit builder.

§Behavior Summary

  • Rounding mode: round-to-nearest, ties-to-even (RN-even)
  • Handles normals, subnormals, zeros, infinities, NaNs
  • Correct sticky handling and 1-bit normalization on product overflow
  • Full IEEE-754 compliance for all edge cases

§Parameters

  • a, b: 64-bit IEEE-754 binary64 values to multiply

§Returns

  • 64-bit IEEE-754 binary64 result of a * b