Spotted by Claude:
(%i1) is(bfloat(2)/bfloat(11) = bfloat(2/11)); (%o1) false
Log in to post a comment.