diff --git a/test.support/test/support.py b/test.support/test/support.py
index 8d6874cb..cc65613a 100644
--- a/test.support/test/support.py
+++ b/test.support/test/support.py
@@ -60,3 +60,6 @@ def captured_output(stream_name):
 
 def captured_stderr():
     return captured_output("stderr")
+
+def requires_IEEE_754(f):
+    return f