You got it my friend. And they round down if they have to. For example, if you had 6, 5, 5, and 7- your total would be 23. Divided 4, that would be 5.75, but they round down to 5. Unless that has changed..?
"Therefore, wo be unto him that is at ease in Zion!" 2 Ne. 28: 24