#include <stdio.h> typedef float Temperature; int main() { Temperature today = 25.5; printf("%.1f", today); return 0; }