well, the `32bit` is only relevant for `icc`, so I'm not sure if it's worth the trouble (yet)