Add random_int_generator tool.