Added Kaucher arithmetic. Errors (refactor later-DI)