Index: sys/kern/kern_tc.c
===================================================================
--- sys/kern/kern_tc.c
+++ sys/kern/kern_tc.c
@@ -1882,6 +1882,7 @@
 #ifdef PPS_SYNC
 	if (fhard) {
 		uint64_t nsec;
+		uint64_t freq;
 
 		/*
 		 * Feed the NTP PLL/FLL.
@@ -1893,7 +1894,8 @@
 		tcount &= captc->tc_counter_mask;
 		nsec = 1000000000;
 		nsec *= tcount;
-		nsec /= captc->tc_frequency;
+		freq = captc->tc_frequency;
+		nsec = (nsec + freq / 2) / freq;
 		hardpps(tsp, (long)nsec);
 	}
 #endif