Commit 0601a19d38b2b0fc5dd36fd821af634a49322ebf

Behdad Esfahbod 2019-05-08T07:47:36

Fix a few more double-pomotion errors