最近の検索
検索オプション
Activity Streams 2.0
https://www.w3.org/TR/2017/REC-activitystreams-core-20170523/#dates
あとこれ昔も言った気がするんだけど、この as2-partial-time の定義だと、 23:59.999 みたいな second 省略 secfrac 使用みたいな妙なフォーマットが許されることになるんだけど、これ意図したものなんだろうか……？
www.w3.orgActivity Streams 2.0
というかこの定義のせいで chrono を安直に使えないんだわ
https://tools.ietf.org/html/rfc3339#section-5.6
しかも secfrac part が 1*DIGIT だからいずれにせよ chrono は駄目じゃん (%{,3,6,9}f しかない)
tools.ietf.orgRFC 3339 - Date and Time on the Internet: Timestamps
これ secfrac を正しく扱おうとすると、有効数字を管理する必要があるよな……
本質的には、任意精度の小数と有効数字 usize を持てばいいということになるか
いや流石に厳しい
現実的には u64 とかで生の数字を持って、 もうひとつ usize とかで shift (10 の指数)を持つのがいいか