More work on int.spt