Add 64-bit configurations, change the progress formula, and add a test for the progress formula.