$ 0 0 A cleaner and more robust solution to the floating-point conversion problem originally fixed earlier today. (tags: branch-3.47)