Finite precision would work fine.

Non-determinism is injected, on purpose.