BER int: Operate on 64-bit regardless of Odr_int