=>
'(4)'(5)>=: contract violation expected: real? given: #<procedure:abNum1> argument position: 1st other arguments...: #<procedure:abNum2>
'(4)
'(5)
>=: contract violation
expected: real?
given: #<procedure:abNum1>
argument position: 1st
other arguments...:
#<procedure:abNum2>