请问大家，为何以下程序：
#include<stdio.h>
void main()
{
    float a;
    a=31;
    printf("%f",a);
}
和以下程序：
#include<stdio.h>
void main()
{
    double a;
    a=31;
    printf("%lf",a);
}
在VC++6.0中的结果都是6位小数啊？double的不是应该15位吗？