Re: [armedbear-devel] patch for bug: function JVM::%FLOAT-BITS is undefined