spring: convert Vector2d into a template and rebase Spring::update() on integer arithmetics