Shouldn't we consider it a `WTFDeveloperError` to give a probability outside [0, 1]?