double ovalue2;
while (loops) {
double ovalue = arg0.getNumber();
if (ovalue != 0) {
nvalue = 1 / ovalue;
ovalue2 = arg0.compareAndSwap_number(ovalue, nvalue);
loops = ovalue2 != ovalue;
ovalue = ovalue2;
}
else {
throw new InterpreterException(StdErrors.Division_by_zero);