Thats the upgraded length you use with a regrind cam. I had to use the 7.200 pushrods even with a new cam, but thats abnormal. Stock pushrods are obviously shorter.
The 7.200 are used to close the difference in gap created from the base circle being worn/reground.