diff --git a/Number_types/KNOWN_PROBLEMS_WITH_FLOATING_POINT b/Number_types/TODO
similarity index 100%
rename from Number_types/KNOWN_PROBLEMS_WITH_FLOATING_POINT
rename to Number_types/TODO
diff --git a/Number_types/dont_submit b/Number_types/dont_submit
deleted file mode 100644
index 1ead5fde9c6..00000000000
--- a/Number_types/dont_submit
+++ /dev/null
@@ -1 +0,0 @@
-KNOWN_PROBLEMS_WITH_FLOATING_POINT