What Pippin would these dice make?