Added <util.random.int[].to[]> tag.