Commit 469926cc45760cb681d44e5757b18b9bdd736189

Behdad Esfahbod 2017-01-20T17:40:46

[var] Change double to float in API