Require Export Time.

Coercion Z_of_nat : nat >-> Z.
Coercion IZTime : Z >-> Time.