Log the numerics.

For make benefit #256.
s/;//