added datef operator and @^.time