Matching the int type to a C++ concept Function Requirements Explained