The text de0b0737d0bd, as FreeBSD 12.2-RELEASE shipped it.
convert time interval to tick count
tvtohz(9) on FreeBSD now