An internal helper crate for bigenumset. Not public API.