Here integration of numerical mathematics with exact mathematics plays a role: the ideal is to be able to perform large scale numerical computations from an exact mathematical environment.