modifyToOptionalFinitePositiveDouble
fun modifyToOptionalFinitePositiveDouble(optionalElement: Option<Double>, location: Option<AbstractOpendriveIdentifier>, attributeName: String, messageList: DefaultMessageList, tolerance: Double = 0.0): Option<Double>