add Notation#toInt