Counter-example: Nat should not be directly instantiable from signed integer or float

[saxbophone]

Unless we can guarantee that said behaviour is consistent and does what we want.

Issue raised after feedback in https://codereview.stackexchange.com/questions/283562/api-design-for-implementing-nan-unknown-values-for-custom-numeric-type

Related to #139