New: decimaltime