pub unsafe extern "C" fn ToBigUint64(bi: *mut BigInt) -> u64
Convert the given BigInt, modulo 2**64, to an unsigned 64-bit integer.