[MooreToCore] Lowering to math.ipow?

Is there a strong reason to go from PowUOp to math.ipow as opposed to lowering to a sequence of multiplications?

Is there any existing lowering from math.ipow to the core dialects?

https://github.com/llvm/circt/blob/83effb21cd6b1cebc060b4f57180f16683309cd9/lib/Conversion/MooreToCore/MooreToCore.cpp#L1379-L1398

Start in lib/Conversion/MooreToCore/MooreToCore.cpp at the linked lowering around lines 1379-1398, and inspect how PowUOp is converted to math.ipow. Search the repository for lowerings from math.ipow to core dialects and compare the alternatives; done means reaching and documenting a decided lowering approach.

Written by the indexing model from the issue text.