$ 0 0 A cleaner and more robust solution to the floating-point conversion problem originally fixed by [81342fa6dd03fffb]. (tags: trunk)