amongoc includes checked integer arithmetic types and functions that may be useful to add to libbson. Alternatively, we could backport the C23 checked integer functions into libbson, but these may be more complex to use.