Type correction: float -> double

Addresses a comment on #2019:
*Doubles* should be used for vertices.