I want to know the answer to the following question:
How are mathematical operations checked?
All the background I'm provided with is that "But the results of such reverse-translation operations, while useful as approximate checks, are not always precisely reliable.". Is that enough to answer the question?
Answer: no