& readBinaryPrec, writeBinaryPrec, writeStatePrec,
INTEGER writeStatePrec
writeBinaryPrec = writeStatePrec
& readBinaryPrec, writeBinaryPrec, writeStatePrec, globalFiles,
writeStatePrec = precFloat64