realistic 0.5.3

Towards an API for the Real Numbers
Documentation