Modelisation of base 2 floating points with arbitrary exponent and mantisse size. Extraction of the Flocq library.