Added arithmetic properties (by Ana Bove).
Added arithmetic properties (by Ana Bove).

Ignore-this: f4f694d231eb13a003e65c404d641cb2

darcs-hash:20110218163424-3bd4e-631646d7d2092969a662e91b13a18d35345a889a.gz

asr/fotc,asr/fotc