installed multiplication with rational in EG_Module.gi