Specialize product and summate for LogFloat in LogFloatPrelude
Specialize product and summate for LogFloat in LogFloatPrelude

Per https://list.indiana.edu/sympa/arc/ppaml-l/2017-02/msg00041.html

(Sorry about the previous commit, which is not relevant)

zaxtax/hakaru,zachsully/hakaru,zaxtax/hakaru,zachsully/hakaru