Extraction_pluginSourceBig : a wrapper around ocaml ZArith with nicer names, and a few extraction-specific constructions
By default, in module Format, you can do horizontal placing of blocks even if they include newlines, as long as the number of chars in the blocks are less that a line length. To avoid this awkward situation, we attach a big virtual size to fnl newlines.