Module Core_kernel__Time_ns.Ofday