public override String ToString() { Contract.Ensures(Contract.Result <String>() != null); return(FormatProvider.FormatUInt64(_value, null, null)); }
public String ToString(String format, IFormatProvider provider) { Contract.Ensures(Contract.Result <String>() != null); return(FormatProvider.FormatUInt64(_value, format, provider)); }