Como fazer o Pprint otu um dobro em C

#include <stdio.h>

int main() {
  double a = 7.0556
  printf("%lf", a);
  return 0;
}
Arrogant Alpaca