math:ilog loops forever in coalton form for most bases

[macrologist]

Consider

(defpackage #:bad-ilog
  (:import-from
   #:common-lisp
   #:describe
   #:disassemble)
  (:use #:coalton #:coalton-prelude)
  (:local-nicknames
   (#:math #:coalton-library/math))
  (:export))

(named-readtables:in-readtable coalton:coalton)

(in-package #:bad-ilog)

(coalton-toplevel

  (define (ilog10 x)
    (math:ilog 10 x))

  (define (ilog3 x)
    (math:ilog 3 x))

  (define (ilog2 x)
    (math:ilog 2 x)))

Calling each function works as expected, however, calling math:ilog in a coalton form will hang forever, except when the base is 2.

BAD-ILOG> (coalton (ilog10 (the Ufix 1001)))
3
BAD-ILOG> (coalton (ilog10 (the Ufix 100)))
2
BAD-ILOG> (coalton (math:ilog 10 100))
; Evaluation aborted on COMMON-LISP:NIL.
BAD-ILOG> (coalton (math:ilog 2 100))
6