(- (* 70147833903540842 (/ 1. (expt 2 55))) 1)