OCL: T-API arithm