Dividing by a multi-digit decimal