print timing as double not int