multiplication



INSTANCE multiplication#1;
	multiplicands = ?multiplicands;
END_INSTANCE;



INSTANCE multiplication#2;
	multiplicands = {?z, reciprocal#1};
END_INSTANCE;