Added #ifndef block for time.h
Added floating point time functions per Frank's request