A bigger timestamp that is isoformat. Fixes #80.