public void line_to_d(double x, double y) { m_VectorClipper.line_to(m_Rasterizer, m_VectorClipper.upscale(x), m_VectorClipper.upscale(y)); }