compiler_builtins::float::mul::__muldf3