fix precision bug in times