#include <stdio.h>

void main() {
	float x = 147.2;
	printf("%20.20f", x * 100);
}