Implement subtract (FIXME)