OK, I modified to `using std::isinf` and omit `std::`.