Actually, Google's TPUs are also deterministic!