Come ottenere il conteggio dei post in una pagina archivio?

Ho una pagina archivio di post personalizzati del tipo archive-my_custom_post_type.php e sto utilizzando il loop "standard" che consiste nel famoso

<?php if(have_posts()) : ?>
    <?php while(have_posts()) : the_post(); ?>
        ...
    <?php endwhile;  ?>
<?php endif; ?>

Che sembra utilizzare variabili globali.

Come posso ottenere il numero totale di post per questa pagina? Ne ho bisogno per calcolare la larghezza delle colonne in cui visualizzerò questi elementi.

Bene, ho trovato la risposta:

Dopo un'attenta ispezione della variabile $GLOBALS in PHP, ho scoperto che è possibile ottenere un riferimento alla WP_Query utilizzata per generare la pagina con $wp_the_query. E, guarda un po', è possibile ottenere il numero di post usando questo utile trucco:

$countPosts = $wp_the_query->post_count;

Spero che questo aiuti chiunque abbia lo stesso problema che ho avuto io!