def format(number): # move the most significant bit in position while(number < (1<<127)): number *= 2 # then *truncate* while(number >= (1<<128)): number //= 2 upper = number // (1<<64) lower = number % (1<<64) print(""+hex(upper)+","+hex(lower)+",") for q in range(-342,0): power5 = 5 ** -q z = 0 while( (1<= -17 ): b = z + 127 c = 2 ** b // power5 + 1 assert c < (1<<128) format(c) else: b = 2 * z + 64 c = 2 ** b // power5 + 1 format(c) for q in range(0,308+1): power5 = 5 ** q format(power5)