[Armedbear-devel] single float representation and timing