add int() convertor for construct_counter