/// <summary>
/// Converts the term to an <see cref="Single"/>.
/// </summary>
/// <param name="term">The term to convert.</param>
/// <returns>The resulting value.</returns>
/// <exception cref="InvalidCastException">
/// The term could not be converted.
/// </exception>
public static Single ToSingle(this ITerm term)
{
#region Contract
if (term == null)
{
throw new ArgumentNullException(nameof(term));
}
#endregion
var result = term.AsSingle();
if (result == null)
{
throw new InvalidCastException($"Can't cast term {term} to Single.");
}
return((Single)result);
}