1 files changed, 3 insertions, 1 deletions
diff --git a/double.h b/double.h
index 606c8af..0c42b04 100644
--- a/double.h
+++ b/double.h
@@ -4,7 +4,9 @@ double int_to_valuetype(int);
 
 double int_to_exptype(double);
 
-bool is_greater(double,double);
+bool is_greater_certainly(double,double);
+
+bool is_greater_possibly(double,double);
 
 double maximum(double,double);