While XMLDB_TYPE_FLOAT columns are supported but "deprecated" in favour of XMLDB_TYPE_NUMBER due to some DB, right now it's possible to edit them. Valid possibilities are:
- both length and decimals empty.
- length defined and decimals empty.
- both length and decimals defined.
This leaves out this combination:
- length empty and decimals defined.
That combination is properly checked in the XMLDB Editor... but now when the field is defined directly in XML files and loaded / executed (SQL error under MySQL)
Add one check to the XML validator to look for those "missing length" definitions. Thanks to Penny (and her hackering) for detecting that.