Fixed problems with timestamp comparison due to Python floating
point representation.