ppc: only mint coins >= 1 PPC