Use printf formating