fun width(): double
Return double: the rectangle's width. This does not check for a valid rectangle (i.e. left <= right) so the result may be negative.