While int($num + 1) doesn't work right, int($num) + 1 will. Alternatively, a number of men on horseback can round up large group of numbers fairly efficienty. A well trained dog helps, also.

Originally posted as a Categorized Answer.