Some of our code uses abs() instead of std::abs() or fabs(). Abs() can return an integer instead of double in some contexts when compiled with gcc.