Command-line streaming exact real calculator