Make it print revision warnings in human format

Divide the revision numbers by 100.0 to get 1.12 rather than 112.