I agree: all these constants should just be specified as constants given the knowledge of IEEE reals, not computed. Mind you, the computation is useful for detecting problems, but I would move it to the regression tests.