.endif
.endm
-// `mulI': accumulate the B^I and b B^i terms of the polynomial product sum
+// `mulI': accumulate the B^I and b B^I terms of the polynomial product sum
// U V + X Y, given that U = u_0 + B u_1 + B^2 u_2 + B^3 u_3 (and similarly
// for x), and V = v'_0 + b v''_0 + B (v'_1 + b v''_1) + B^2 (v'_2 + b v''_2)
// + B^3 (v'_3 + b v''_3) (and similarly for Y). The 64-bit coefficients are