Error
The Info node
table-predefined-precision-strings
in Info file
/usr/share/info/gawk.info.gz
does not exist.