This really is the correct default. If something unexpected happens the better failure case is to be a little slower than expected than giving completely absurd

This really is the correct default. If something unexpected happens the better failure case is to be a little slower than expected than giving completely absurd results. Then adding the optional power to constrain the inputs allowing the compiler to use more efficient implementation with those assumptions is awesome.