double number generator throws error

[thatsmesasha]

I'm trying to generate random number between 0 and 1 using:

jsc.number(0, 1)

But it throws this error:

TypeError: random takes one or two integer arguments
      at RC4.random (node_modules/rc4/rc4.js:105:13)
      at randomInteger (node_modules/jsverify/lib/random.js:20:14)
      at Object.generator (node_modules/jsverify/lib/primitive.js:228:15)
      at ./node_modules/jsverify/lib/jsverify.js:239:50
      at Array.map (<anonymous>)
      at ./node_modules/jsverify/lib/jsverify.js:239:18
      at loop (node_modules/jsverify/lib/jsverify.js:316:26)
      at check (node_modules/jsverify/lib/jsverify.js:332:34)
      at Object.checkThrow [as assert] (node_modules/jsverify/lib/jsverify.js:354:34)