Use libm_alias_double for dbl-64 atan, tan.