of

fun of(num: Int): SemanticNumber