Constant K3

const K3: i64 = 0x1751997d0;