Calculó los costes totales de la basílica de San Pedro, desde sus inicios hasta 1694, en 46.800.052 coronas, sin incluir las maquetas.