Redesigned integer arithmetics