server arithmetic interface and implementation