Convert NTP time to integer

Just for giggles, where is that documented?