fix some of the typehinting surrounding big numbers