32-bit

Here’s some users with 32-bit in their profile.