nonnegval: not template.rangeval: rm default ctor