def scale_coordinates(coordinates, scale):
    """
    Scale the coordinates by a given scale multiplier. Note, coordinates are
    always integer, so that they can be used with images.
    """
    return tuple(int(coord * scale) for coord in coordinates)