<=
<= : (real real real ... -> boolean)
purpose: to compare two real numbers for less-than or equality