module
    mulRecF64 (
        input [(`floatControlWidth - 1):0] control,
        input [64:0] a,
        input [64:0] b,
        input [2:0] roundingMode,
        output [64:0] out,
        output [4:0] exceptionFlags
    );

    mulRecFN#(11, 53)
        mulRecFN(control, a, b, roundingMode, out, exceptionFlags);

endmodule