@jiahanxie353 has added the Math dialect to circt-opt in #8475. This is a great precedent to start using that dialect in the MooreToCore conversion. For example, the moore.pow operation could be lowered to math.ipowi and math.powf depending on its type.