bug fix of validation test to catch correct rounding behavior for posits and exp/exp2
bug fix of validation test to catch correct rounding behavior for posits and exp/exp2

stillwater-sc/universal,stillwater-sc/universal,stillwater-sc/universal,stillwater-sc/universal