ec: point addition