#include <stdio.h>

#define   TSC_PERIOD (1000  /1024)
#define W_TSC_PERIOD (1000.0/1024)
int main(void) {
	
	int a = 100*TSC_PERIOD;
	double f = 100*W_TSC_PERIOD;
	
	printf ("a = %3d f = %6f\n", a,f);
	return 0;
}