Module mul 

Functions

float64_mul

IEEE-754 double (binary64) multiplication circuit builder.

fp64_mul_finish_specials

[Block M3] Apply multiplication-specific specials overlay.

fp64_mul_make_round_base

[Block M2] Compute round-base geometry from the 128-bit product.

fp64_mul_prepare

[Block M1] Prepare multiplicands (53-bit) and base exponent/sign.