public OclReal op_Division(OclInteger i)
{
if (IsNull(i))
{
throw new ArgumentNullException();
}
return(OclReal.valueOf(checked (toDouble() / i.toDouble())));
}
/// <summary>
/// Divide two unlimited naturals.
/// </summary>
/// <param name="u">The second operand.</param>
/// <returns>The quotient.</returns>
/// <exception cref="UnlimitedValueException">If either of the operands is unlimited.</exception>
/// <exception cref="DivideByZeroException">If the second operator is zero.</exception>
public OclReal op_Divide(OclUnlimitedNatural u)
{
return(OclReal.valueOf(toDouble() / u.toDouble()));
}
public OclReal toReal()
{
return(OclReal.Parse(value));
}
