bitset uint64 -> uint32