Proposal implementation of the Rust date and time standard library