Create numpy4-random.tex