✏️ Editing: Primality.pyi