arithmetic/derived/LongRealIntegerPower.m3
generated by m3build
MODULE
LongRealIntegerPower
=
IntegerPower
(
LongRealBasic
) END LongRealIntegerPower.