Use C++14 single-quotation-mark as a digit separator