FractionalOffset operator /(double other)

Divides the fractional offset in each dimension by the given factor.

Source 

FractionalOffset operator /(double other) {
  return new FractionalOffset(dx / other, dy / other);
}