64-bit BER integers. Fixes bug #114.