abs_i64
multiplicand = div64_s64(arg.value, abs_i64(significance.value));
result.value = abs_i64(significance.value) * multiplicand;
ASSERT(abs_i64(result.value) <= abs_i64(arg.value));
multiplicand = div64_s64(arg.value, abs_i64(significance.value));
result.value = abs_i64(significance.value) * multiplicand;
if (abs_i64(result.value) < abs_i64(arg.value)) {
result.value -= abs_i64(significance.value);
result.value += abs_i64(significance.value);
uint64_t arg1_value = abs_i64(arg1.value);
uint64_t arg2_value = abs_i64(arg2.value);
arg1_value = abs_i64(numerator);
arg2_value = abs_i64(denominator);
unsigned long long arg_value = abs_i64(arg.value);
} while (abs_i64(error.value) > 100ULL);
unsigned long long arg_value = abs_i64(arg.value);
} while (abs_i64(error.value) > 100ULL);