`cpp_double_fp_backend` optimized single-limb operations

Implement double-limb/single-limb operations like the double-fp type being multiplied by a single fp-type having the same width as its constituents. This is a significant optimization. See also #703.