Double.timing with big naturals