I am learning to use OpenCV. In the section entitled "Accessing Image Properties" of the linked documentation below, the img.size command is said to give the total