Replace all custom-precision “mdouble” with “double”.