Re: [Armedbear-devel] single float representation and timing