double get_monotonic_time(void);