Is `char` better than `bint`?