function [stk,txt,top]=sci_finite()
// Copyright INRIA
txt=[]
stk=list('abs('+stk(top)(1)+')<%inf','2',stk(top)(3),stk(top)(4),'4')

