IIRC, the size of the contract counts more than the player's production. The fact the Bills spent a bunch of money (and Mario is complaining he is injured but the Bills won't put him on the injury report) on him probably is the key factor. Plus it subtracts the FAs the Texans signed.
I think a third is appropriate but the formula could come up with two 4ths or two 5ths instead.
