Fixup: max attribute in inputs of RandomNumber now work properly
Fixup: max attribute in inputs of RandomNumber now work properly