4 ms·I prefer the hyperrealsby rpz 5y agoI prefer the hyperrealsdhosek 5y agohyperreals ⊂ surrealsdang 5y agoOk, but please don't post unsubstantive comments to Hacker News.