[futharkshill]

Of course it is incorrect, the system is of course not stochastic, not even floating points.

[c-cube]

What if a is nan? You don't have that nan == nan...