Damn it, you're right. I feel like an idiot now... I tried verifying that it really equals this value by dividing it by 2^85, and the calculator returned 1. I didn't think about how it must have been rounded up or down, because it's such a large number. Must have been the issue with my code too, so thanks for the help!

Wait, how can an odd number be a power of two

Some of the tests with large numbers are incorrect. For example 38685626227668133590597629 is exactly 2^85, yet the test expects False to be returned