More work on bigints