Fix decimal option in metrics command

2 jobs for p1 in 23 minutes and 30 seconds (queued for 1 second)
Status Name Job ID Coverage
  Build
passed build_linux_36 #154799
docker

00:23:30

84.0%
passed build_macosx_36 #154800
macosx

00:19:22

84.0%