public int GetIntValue()
{
switch ( (PushType) Type) {
case PushType.Float: return Convert.ToInt32((Single)Value);
case PushType.Double: return Convert.ToInt32((double)Value);
case PushType.String: return Convert.ToInt32((string)Value);
case PushType.Int: return (int)Value;
default: Console.WriteLine("WARNING"); return -1;
}
}