ln_2(87×2^60)