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