Fixes bug in arithmetic operations, provides working codex.um