Delete rnd_small_int.tex