repaired number formatting

Signed-off-by: Thor Nahody <thor@nahody.com>