isc_serial_gt
if (isc_serial_gt(value, now32))
isc_serial_gt(uint32_t a, uint32_t b);
return ((a == b) ? 1 : isc_serial_gt(a, b));