Added some cputime64 stuff