I would like to see the menu_order field in the database to be changed to Decimal(14,3) or similar in future versions of WordPress.
I work with a fair number of large WordPress sites and on a number of occasions I have wished I could update sort orders to 11.1 or 11.2 etc. For example, many of the sites I work with are companions to textbooks and if the publisher adds supplemental material to a book, chapter, section, it causes problems which could be easily resolved with this data type change.
Even ordering the pages in steps of 5 it is sometimes not enough, and being able to add in a decimal for precision would be amazing in scenarios like the above.
Currently the field is Integer(11) which I can't ever imagine someone having that many pages or the need to sort that high, but I realize that for the sake of backward compatibility support for those 11 digits would probably need to be kept, which is why I specified Decimal(14,3)
Thanks for your consideration.