$x = 147.2;
printf("%d", $x * 100);