As per a FIXME: access the machine word size rather than hardwiring a constant expression for it into `core::int`.