diff --git a/src/toplevel.pl b/src/toplevel.pl
index d9c1f5c4..30de5227 100644
--- a/src/toplevel.pl
+++ b/src/toplevel.pl
@@ -206,7 +206,6 @@ submit_query_and_print_results(Term, VarList) :-
 
 needs_bracketing(Value, Op) :-
     nonvar(Value),
-    \+ integer(Value),
     functor(Value, F, Arity),
     atom(F),
     current_op(FPrec, FSpec, F),