ModPowL may entry a loops when set exponent to "0L"

[hofirstb19]

Description

When set exponent and modulus to 0L, in the source code, the function ModPowL should not enter the loop and return 1L. However, in the following test case, there is a Unhandled exception which indicates there is a divide by zero operation.

source code

qsharp-runtime/src/Simulation/QSharpFoundation/Math/Math.qs

Line 327 in f56539b

while runningExponent > 0L {

Testcase

namespace NISLNameSpace {
	open Microsoft.Quantum.Math;
	open Microsoft.Quantum.Intrinsic;

	@EntryPoint()
	operation main() : Unit {
		let value = 1L;
		let exponent = 0L;
		let modulus = 0L;
		let NISLModPowL = ModPowL(value,exponent,modulus);
		Message($"{value}");
		Message($"{exponent}");
		Message($"{modulus}");
		Message($"{NISLModPowL}");
	}
}

Environment

operating system : Windows 10 and Ubuntu 18.06
dotnet version : 6.0.400
QDK : 0.25.228311

[weucode]

The real running code is here.

qsharp-runtime/src/Simulation/QSharpFoundation/Math/Math.cs

Line 105 in 1ac2e3c

public override Func<(BigInteger, BigInteger, BigInteger), BigInteger> __Body__ => (args) => BigInteger.ModPow(args.Item1, args.Item2, args.Item3);

It raises an exception correctly because this program tries to make the divisor 0. Moreover, I'd like to know when this code will execute, because this may decide whether it is necessary to add more operation for the situation that modulus=0.