What will be the output of the following program:

#include<stdio.h>
int main()
{
	float a = 13.5;
	double b = 13.5;
	printf("\n%f %lf", a, b);
	return 0;
}

Output: 13.50000 13.50000