Use libm_alias_double for some dbl-64 functions.