Add sqrt

[blamario]

There's an occasional need for

sqrt :: Natural -> Natural

The function would probably be best placed in plutus-numeric.

[re-xyr]

How should this be defined? Is it the floor of the square root?

[blamario]

Presumably. If you want the nearest root it's easy enough to compare if the next number up is a closer match.