(Shorten some numbers.)