X32 is a weird target, x86-64 with target_pointer_width="32", which currently leads us to use BigDigit = u32. This was broken by #300 that assumed x86-64 was always using 64-bit digits. We might actually want that, but for now it's simpler to keep digits the same as usize (though not literally) in case there are hidden assumptions about that.
X32 is a weird target, x86-64 with
target_pointer_width="32", which currently leads us to useBigDigit = u32. This was broken by #300 that assumed x86-64 was always using 64-bit digits. We might actually want that, but for now it's simpler to keep digits the same asusize(though not literally) in case there are hidden assumptions about that.Fixes #311.