def int_to_bigint(value):
    if value.bit_length() > 63:
        return value.to_bytes((value.bit_length() + 9) // 8, 'little', signed=True)
    return value
@return: A LaTeX string that encodes the given plaintext string.
dataset/ETHPy150Open jborg/attic/attic/helpers.py/int_to_bigint--crossover with--dataset/ETHPy150Open ardekantur/pyglet/tools/epydoc/epydoc/util.py/plaintext_to_latex