Added complex arithmetic contracts.

@bsoetaer