Library Support

Additional arithmetic predicates can be found in library(math).