Here's a rebased version of <15785(dot)1536776055(at)sss(dot)pgh(dot)pa(dot)us>.
I think we should try to get this reviewed and committed before
we worry more about the float business. It would be silly to
not be benchmarking any bigger changes against the low-hanging
fruit here.
regards, tom lane