gmp-doc 6.1.2+ndfsg-2 (armhf binary) in ubuntu focal

 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.