win64 fabs() workaround