I\'ve tried using bitset library but it wont work for big integers like uint512_t. Is there a library that could help me or how can I convert it?