Removes unused Num extension