readBinaryPrec = oldPrec
INTEGER oldPrec
oldPrec = writeBinaryPrec
writeBinaryPrec = oldPrec
oldPrec = readBinaryPrec
INTEGER oldPrec, prec