Sardana: an Automatic Tool for Numerical Accuracy Optimization