[mike00632]

Rewrite your functions to be generator functions. They don't even need to be based on the desired level of precision to always be decidable.

[h0mEDw]

Not sure what your point is. I can just suggest to see the PDF: https://news.ycombinator.com/item?id=18411935