#include <stdio.h>
main()
{
int i;
for ( i=10 ;i<=25;i++)
printf( "%d %d.4\n", i, i); //Вначале выводится число, потом выводится число ещё раз и к нему просто отдельно приписывается ".4"
}