let
fmt_divisor_assert =
format_of_string
"divisor assert broken: %a"