fix %d formatting with numbers that don't fit in 32 bits