Binary package “gmp-doc” in ubuntu focal

GMP (MultiPrecision arithmetic library) reference manual

 This package provides the reference manual
 for the GNU Multiple Precision arithmetic library,
 a collection of routines for arbitrary-precision arithmetic,
 operating on signed integers, rational numbers,
 and floating point numbers.
 .
 The reference manual is available in INFO, PDF, and HTML formats.