#include <stdio.h>

int main(void) {
	printf("%g\n", 310.0);
	printf("%g\n", 310.1);
	printf("%g\n", 310.12);
}

//https://pt.stackoverflow.com/q/219039/101