stdlib: plus, minus