Since cputime isn't stored a double anymore, but as a uin64_t, the cputime is adjusted so that precision isn't lost. Related commit: efc161ef