Finite nimber arithmetic