Fix bug in 'is' predicate.
Make print function be able to print out numbers with '%d' format.