Since we know the type of `arg1`, let's just call `mpfr_set_d (arg1_val, NUM2DBL (arg1), __gmp_default_rounding_mode);`