/// <summary>
/// Constructs a BigFloat from a BigInt, using the specified precision
/// </summary>
/// <param name="value"></param>
/// <param name="mantissaPrec"></param>
public BigFloat(BigInt value, PrecisionSpec mantissaPrec)
{
if (value.IsZero())
{
Init(mantissaPrec);
SetZero();
return;
}
mantissa = new BigInt(value, mantissaPrec);
exponent = BigInt.GetMSB(value);
mantissa.Normalise();
}