[tomjen3]

It was, but they did convert it to an integer on the implementation sides so 0.2 and 0.3535 would be the same element.