#include <stdio.h>

int main(int argc, char **argv)
{
    float f = 0.12372642183;
    int i = f;
    printf("%f %d\n", f, i);
    return 0;
}