Searched full:provably (Results 1 – 1 of 1) sorted by relevance
81 * x > 0: error provably < 0.9ulp.204 * Good to < 1 ulp. (provably .90 ulp; .87 ulp on 1,000,000 runs.)