They're not inherently non-deterministic, correct. And floating point is deterministic enough, as that blog post is demonstrating.