Nimber addition