expression: a::toInt
receiver:: type: kotlin.Number
