Nonnegative_integer loading ...