Let DiggPage have a num_pages property.