diff --git a/src/ast/fpa/fpa2bv_rewriter_params.pyg b/src/ast/fpa/fpa2bv_rewriter_params.pyg
new file mode 100644
index 000000000..42df0fa0e
--- /dev/null
+++ b/src/ast/fpa/fpa2bv_rewriter_params.pyg
@@ -0,0 +1,5 @@
+def_module_params(module_name='rewriter',
+                  class_name='fpa2bv_rewriter_params',
+                  export=True,
+                  params=(("hi_fp_unspecified", BOOL, True, "use the 'hardware interpretation' for unspecified values in fp.to_ubv, fp.to_sbv, and fp.to_real)"),
+                          ))