leaf node counts are uint32_t, not size_t