How did a pre-decimal half penny end up in my wallet?