More digits for more better
Thread-safe static buffer
Record types!
Iterative polling
Typechecking based on kinds
Support for parametric subsets