BoundedNumber
bound
bound
require