Add the randomint tool.