How many 13.56MHz implants needed, and where to put them..?

Yes that would be unusual… but…

My bet is that it is DESFire at least if not a form of iClass.

@Bunne can you try scanning your badge with TagInfo? It should be able to shed more light on the situation.