Jane Street's Core_kernel has Time_ns module. Time is represented as an int, number of nanoseconds since unix epoch. Time_ns.now uses clock_gettime(CLOCK_REALTIME)
There are also usual functions for operating on time and time spans.
Not sure if Core_kernel is too big for your project.