ordinal arithmetic