Diophantus_(general) loading ...