Fix decimal option in metrics command

Merged Amir MOHAMMADI requested to merge p1 into master

Fixes #52 (closed)

Merge request reports