Fix interval_randomness data type

I found `interval_randomness` was decimal number but it's converted to integer in the getter method.