I got hung up on this line:
This requires deterministic math with explicit rounding modes and precision, not the platform-dependent behavior you get with floats.
Aren't floats mostly standardized these days? The article even mentions that standard. Has anyone here seen platform-dependent float behaviour?
Not that this affects the article's main point, which is perfectly reasonable.