Contact: aviboots(AT)netvision.net.il
43,904 questions
57,301 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 */