s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs | Signal Canvas | ScienceToStartup