cover tests are put n positive non denormal to ensure success as for negative values no bound can be clearly set