Also these climate models are likely calculated on Intel hardware: a company notorious for floating-point bugs. Even if we verify the software is correct, unless we see the RTL that describes the logic behind these chips, it's all just hocus-pocus as far as I'm concerned.