let number fmt i =
  fprintf fmt "%d" i