Cardinal_arithmetic loading ...