modifyToFinitePositiveDouble

fun modifyToFinitePositiveDouble(element: Double, location: Option<AbstractOpendriveIdentifier>, attributeName: String, messageList: DefaultMessageList): Double