fixing qal_pretty_metric --didn't work, because it was based on pretty_dec where all numbers are gt 1.