Implement device_to_user(gc, x, y) and converse directly