Literally

def add(a: Numeric, b: Numeric) = Integer do |a: 1, b: 2|
  (a + b).floor
end