Let 10 -k = β 2 r , for the unique pair of integer r and real β meeting 2 125 ≤ β < 2 126 . Further, let g = ⌊ β ⌋ + 1. Split g into the higher 63 bits g
(int k)
Source from the content-addressed store, hash-verified