o Forgot to implement FLOAT-PRECISION for double-doubles. general-info/release-19f.txt: o Document it.