Integer_polynomial loading ...