ordinal multiplication