fix _bint_to_bytes()