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