[Paul-Craft]

BTW, you probably never found the irrationality measure to be very useful, because it's well known that almost all real numbers have irrationality measure 2.