;; -> ;
Work towards #256.
Merge pull request #258 from pleroy/DoubleSemiColon

;; -> ;
after pleroy's review.
not actually lint.
...
Merge pull request #259 from eggrobin/numerics-logging

Log the numerics.