Use libm_alias_float for x86_64.