AERN-Net-0.2.1.1: Compositional lazy dataflow networks for exact real number computation