public ListTerm ToList()
{
ListTerm result = ListTerm.EMPTYLIST;
int lo = lowBound.To <int> ();
int hi = hiBound.To <int> ();
for (int i = hi; i >= lo; i--)
{
result = new ListTerm(new DecimalTerm(i), result);
}
return(result);
}