Contact: aviboots(AT)netvision.net.il
40,875 questions
53,283 answers
573 users
#include <stdio.h> int main() { printf("%d:%02d:%04.1f hours\n", 3, 6, 4.2891); return 0; } /* run: 3:06:04.3 hours */