Commit be1828daaa1e1a72d971aed8d34fff54688d0f41

Behdad Esfahbod 2018-11-20T11:16:23

[var] Fix type of coords returned Ouch. Wonder how none of the bots caught the float->int truncation.