basic Arith.scala def