Add exact calculation for number of floats
Test timing for menger