Ordinal_arithmetic loading ...