Unlike the usual operations, these never overflow, preferring instead to raise.
val (+) : t ‑> t ‑> t
val (-) : t ‑> t ‑> t
val abs : t ‑> t
val neg : t ‑> t