An instance f of the data type BigInt is an arbitrary-precision integer, currently implemented in APU using the LEDA integer type. The type of f is BIGINT.
