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