oldPrec = readBinaryPrec
readBinaryPrec = oldPrec
INTEGER oldPrec
oldPrec = writeBinaryPrec
writeBinaryPrec = oldPrec