Look at `plus` for `Int`, etc. There is no definit...

# announcements

[jstuyts-squins]

Look at plus for Int, etc. There is no definition of plus on Number, so each number type defines it separately