That’s a tiny amount. The major nations should each pull a budget line item and support it directly and remove costs of accessing the iso standards. That could go under NIST in the US. (Maybe start a service charging for for cryptographically signed standards doc).