First skeleton of the infsup interval type as well as of an infsup ieee754 double flavor