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).
source: https://www.iso.org/files/live/sites/isoorg/files/store/en/P...