It's an optional dependency. gdate is used for more precision if installed. BSD date's precision is to the second while GNU date's precision is to the nanosecond. When gnproc is not available, system_profiler is used which gives the same result.