[DFDL-WG] what data format was dfdl:floating intended to support?