Fix signed bigint conversion (probably never used)