Thanks for that, my original code was of course flawed.
I moved the int<->number conversion into getters/setters now, see https://github.com/claus/as3swf/commit/d47977e1237f626d3f7386165dbb2ba2a28f868e - hopefully correctly rounds stuff now. Also, publish was broken because calculateMaxBits didn't operate on the correct values.
Thanks for that, my original code was of course flawed. I moved the int<->number conversion into getters/setters now, see https://github.com/claus/as3swf/commit/d47977e1237f626d3f7386165dbb2ba2a28f868e - hopefully correctly rounds stuff now. Also, publish was broken because calculateMaxBits didn't operate on the correct values.