string query_num(int num); string query_num(int num, int max);
This is a companion discussion topic for the original entry at https://www.fluffos.info/zh-CN/efun/query_num.html
string query_num(int num); string query_num(int num, int max);