For the following PRISM code:
global R1:[11..50] init 30;
formula R1_drift_down2=ceil (min (pow(R1*R1-100,0.5), 50));
R1'= R1_drift_down2 // for certain conditions
I am getting the Error: cannot take ceil() of Nan: NaN is non-finite, cannot be represented by int
Anyway to resolve this?