Dividing in a given ratio