Implementation of log when a base is given

[moon-chilled]

The spec says:

The two-argument logarithm function is defined as

(log base number)
== (/ (log number) (log base))

I think it should be clarified to say that this is the mathematical definition of the two-argument log (similar language is present for many other definitions, but not this one), but that an implementation is allowed the freedom to implement it differently. This interpretation is supported by:

The result of (log 8 2) may be either 3 or 3.0, depending on the implementation

Whereas cl (/ (log 8) (log 2)) can never be 3.