gcd( 0x15bf0a8b145769/2^51, 0x1921fb54442d18/2^52 )