added timex_isnormalized