Int32ToDouble.cs

using System;
using Waher.Script.Abstraction.Elements;
using Waher.Script.Objects;
 
namespace Waher.Script.TypeConversion
{
    public class Int32ToDouble : ITypeConverter
    {
        public Type From => typeof(int);
 
        public Type To => typeof(double);
 
        public object Convert(object Value)
        {
            if (Value is int d)
                return (double)d;
            else
                throw new ArgumentException("Expected int value.", nameof(Value));
        }
 
        public IElement ConvertToElement(object Value)
        {
            if (Value is int d)
                return new ObjectValue((double)d);
            else
                throw new ArgumentException("Expected int value.", nameof(Value));
        }
    }
}