a steady ("monotonic") clock for Rust