Function writeBigVarintHigh

writeBigVarintHigh(high, bufPos): void
Write a varint larger then 54-bits on the high end
Parameters
- high: number
  the high 32 bits
- bufPos: BufferPosition
  the buffer with it's position to write at
Returns void