diff --git a/src_common/ieee/coq/finterval.v b/src_common/ieee/coq/finterval.v new file mode 100644 index 0000000000000000000000000000000000000000..e69de29bb2d1d6434b8b29ae775ad8c2e48c5391 diff --git a/src_common/ieee/why/finterval.mlw b/src_common/ieee/why/finterval.mlw new file mode 100644 index 0000000000000000000000000000000000000000..e69de29bb2d1d6434b8b29ae775ad8c2e48c5391