https://ebookst.com/download/termination-of-a-floating-point-computations-1728/