Refine int.spt