For reference, we have historically had a range of 20 -> 150 DOTs for open source contributions to polkadot-sdk. Nonetheless, I agree that the scope and importance of this work is beyond that, and deserves a larger top. But, we should not set a trend that any contribution to polkadot-sdk would get similar tip values and such should be evaluated on a case by case basis.

Good luck with the rest of your implementation!