Binary_arithmetic loading ...