Function sp_arithmetic::biguint::mul_single

pub fn mul_single(a: Single, b: Single) -> Double

Assumed as a given primitive.

Multiplication of two singles, which at most yields 1 double.