这段程序会输出什么？

#include <stdio.h>

int main(void) {
    printf("%d %.1f\n", 7 / 2, 7 / 2.0);
    return 0;
}