Use big-integer everywhere