Contact: aviboots(AT)netvision.net.il
39,971 questions
51,913 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 */