function [stk,txt,top]=sci_int2str()
// Copyright INRIA
txt=[]
stk=list('string('+stk(top)(1)+')','0','1','1','10')
