Arguably Uncertain should be the default, and you should have to annotate a type as certain T when you are really certain. ;)
replies(2):
I wonder what it'd look like to propagate this kind of uncertainty around. You might want to check the user's input against a representative distribution to see if it's unusual and, depending on the cost of an error vs the friction of asking, double-check the input.