@soc @lanodan @ar I don't see a float there. But maybe JS handles all numbers as floats internally. Don't know