Integer_notation loading ...