Real number computation software