C back end print integers nicely