function s=tostring(a)
	s=sprintf('erate(%s)',tostring(a.base));
