<https://arxiv.org/abs/2404.18603>
# openpositarithmetic