Commit 5de2d9cdbdca870901c0ba9472f5b78c48ba0a58

Ebrahim Byagowi 2018-10-04T02:14:18

Minor, fix double-promotion warnings (#1221)