Converting localtime seconds into float

I am trying to make a program that reads the seconds from the system time and prints them on the screen. However, the seconds always seem to be in integer format and I wish to use it in floating point format instead, i.e. to display milliseconds. Is this possible?

Here is the current program I am using. It's similar to the one found on the time_t page at Wikipedia.

Code:

#include <stdio.h>
#include <time.h>
main()
{
    time_t     now;
    struct tm  ts;
    char       buf[80];
    time(&now);
    ts = *localtime(&now);
    strftime(buf, sizeof(buf), "%S", &ts);
    printf("%s\n", buf);
}

Why not just access the tm_sec member variable of ts ?

Also, I don't think you're going to get any meaningful milliseconds out of this.

I believe you're dreaming big time with millseconds.

In any case, they would be printed (and printed over), far faster than anyone could see what they were.

I'd suggest using 1/10'ths of a second as your shortest timer interval.