File ISO 9.1.7 arith

1 Predicate is/2

2 Predicate (-)/ -2

3 Predicate abs/ -2

4 Predicate sign/ -2

5 Predicate float/ -2

6 Predicate + / -3

7 Predicate (-)/ -3

8 Predicate * / -3

9 Predicate / / -3

10 Predicate ^ / -3

11 Legend

1 Predicate is/2

cross_link