//************************** Conversions *************************
/// <summary>
/// Converts a BigFloat to an BigInt with the specified precision
/// </summary>
/// <param name="n1">The number to convert</param>
/// <param name="precision">The precision to convert it with</param>
/// <param name="round">Do we round the number if we are truncating the mantissa?</param>
/// <returns></returns>
public static BigInt ConvertToInt(BigFloat n1, PrecisionSpec precision, bool round)
{
BigInt ret = new BigInt(precision);
int numBits = n1.mantissa.Precision.NumBits;
int shift = numBits - (n1.exponent + 1);
BigFloat copy = new BigFloat(n1);
bool inc = false;
//Rounding
if (copy.mantissa.Precision.NumBits > ret.Precision.NumBits)
{
inc = true;
for (int i = copy.exponent + 1; i <= ret.Precision.NumBits; i++)
{
if (copy.mantissa.GetBitFromTop(i) == 0)
{
inc = false;
break;
}
}
}
if (shift > 0)
{
copy.mantissa.RSH(shift);
}
else if (shift < 0)
{
copy.mantissa.LSH(-shift);
}
ret.Assign(copy.mantissa);
if (inc) ret.Increment();
return ret;
}
