added int_t template parameter