j'ajoute dans exo-flottants une référence à sys.float_info et aux nombres dénormaux