built-in numbers are also built-in terms

--- a/src/HOL/Tools/SMT/smt_builtin.ML	Wed Dec 08 08:33:02 2010 +0100
+++ b/src/HOL/Tools/SMT/smt_builtin.ML	Wed Dec 08 08:33:04 2010 +0100
@@ -226,6 +226,8 @@
 
 fun is_builtin_ext ctxt (c as (n, _)) ts =
   if member (op =) only_partially_supported n then false
-  else is_builtin_fun_ext ctxt c ts
+  else
+    is_builtin_num_ext ctxt (Term.list_comb (Const c, ts)) orelse 
+    is_builtin_fun_ext ctxt c ts
 
 end