`std::char::CharExt::from_digit` vs `std::char::from_digit`