J._Number_Theory loading ...