WideProductParameters.lean`

1 declarations, 0 contain sorry, 0 declared as axioms

Absorb the explicit packing and rounding constants of the actual width-three product configuration into an arbitrarily small power loss.